Bug 231094

Description William Whittle 2008-05-08 06:29:46 EDT

Build ID: M20080221-1800

Steps To Reproduce:
Please see the code snippet below that exhibits this problem. No combination of compiler settings available on the Eclipse compiler dialogue bring Eclipse's behaviour in line with Sun's.

1. Declare a method that defines a parameterised type as extending some type, and uses this parameterised type more than once in its arguments.
2. Call that method specifying one parameter correctly and one raw.
3. Compile with both Eclipse and Sun Java 5 SDK.


More information:
public class Test
{
	public static void main(String[] args)
	{
		Test test = new Test();
		
		/* OK: Bob.class is correct. No idea about the Thingy */
		test.doStuff(Bob.class, new Thingy());
		
		/*
		 * This line will fail when compiled with the Java 5 SDK:
		 * 
		 * Test.java:25: <T>doStuff(java.lang.Class<T>,Thingy<T>) in Test cannot be applied to (java.lang.Class<Bill>,Thingy)
         *      test.doStuff(Bill.class, new Thingy());
         *          ^
		 * Note: Test.java uses unchecked or unsafe operations.
		 * Note: Recompile with -Xlint:unchecked for details.
		 * 1 error
		 */
		test.doStuff(Jim.class, new Thingy());
	}
	
	<T extends Bob> void doStuff(Class<T> klass, Thingy<T> thingy)
	{
	}
}

class Jim
{
}

class Bob
{
}

class Bob2 extends Bob
{
}

class Thingy<T extends Bob>
{
}