Description Martin Aeschlimann 2005-01-17 05:33:13 EST

20050117

The following code is accepted by Javac but not by the jdt.core compiler.
(code taken from example code from reviewing the Eclipse chapter of 'Learning
Java, 3rd Edition')

public class TypeInference 
{
	static <T extends Base> T infer( T t1, T t2 ) { return null; }

	public static void main( String [] args )
	{
		Base base = infer( new Sub1(), new Sub2() );
		// Note: Eclipse 3.1 says this is an error, but it's not
		Runnable runnable = infer( new Sub1(), new Sub2() );
	}

}

class Base { }
class Sub1 extends Base implements Runnable { public void run() { } }
class Sub2 extends Base implements Runnable { public void run() { } }