Bug 99553

Description Will Hains 2005-06-12 21:53:57 EDT

This compiles OK in both Eclipse and javac:

 1: interface TestGeneric1<A>
 2: {
 3: 	NonNested<A> getNonNested();
 4: }
 5: 
 6: class NonNested<B> implements TestGeneric1<B>
 7: {
 8: 	public NonNested<B> getNonNested()
 9: 	{
10:		return this;
11: 	}
12: }

But this doesn't compile in Eclipse, even though it compiles find in javac:

 1: interface TestGeneric2<A>
 2: {
 3: 	Nested<A> getNested();
 4: 	
 5: 	class Nested<B> implements TestGeneric2<B>
 6: 	{
 7: 		public Nested<B> getNested()
 8: 		{
 9: 			return this;
10: 		}
11: 	}
12: }

The Nested class is automatically static because it is nested in an interface, 
yet the compile errors Eclipse gives are:

Line 7: "The return type is incompatible with TestGeneric2<B>.getNested()"
Line 9: "Type mismatch: cannot convert from TestGeneric2<A>.Nested<B> to 
TestGeneric2<B>.Nested"

The reference in the error message to "TestGeneric2<A>.Nested<B>" is 
nonsensical, since Nested<B> is a static member of TestGeneric2.