Attachment #174944 for bug #312076




		this.constant = Constant.NotAConstant;
		if ((this.targetType = this.type.resolveType(scope, true /* check bounds*/)) == null)
			return null;
		
		/* https://bugs.eclipse.org/bugs/show_bug.cgi?id=320463
		   https://bugs.eclipse.org/bugs/show_bug.cgi?id=312076
		   JLS3 15.8.2 forbids the type named in the class literal expression from being a parameterized type.
		   And the grammar in 18.1 disallows (where X and Y are some concrete types) constructs of the form
		   Outer<X>.class, Outer<X>.Inner.class, Outer.Inner<X>.class, Outer<X>.Inner<Y>.class etc.
		   Corollary wise, we should resolve the type of the class literal expression to be a raw type as
		   class literals exist only for the raw underlying type. 
		 */
		this.targetType = scope.environment().convertToRawType(this.targetType, true /* force conversion of enclosing types*/);

		if (this.targetType.isArrayType()) {
			ArrayBinding arrayBinding = (ArrayBinding) this.targetType;




		"Zork cannot be resolved to a type\n" + 
		"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=320463
public void test1465() {
	this.runNegativeTest(
		new String[] {
			"Outer.java",
			"public class Outer<T> {\n"+
			"    class Cell {\n"+
			"        final T value;\n"+
			"        Cell(T value) {\n"+
			"            this.value = value;\n"+
			"        }\n"+
			"    }\n"+
			"    Class<Outer<T>.Cell> cellClass = Cell.class;\n"+
			"    {\n"+
			"    	this.cellClass = Cell.class;\n"+
			"    	this.cellClass = Outer.Cell.class;\n"+
			"    }\n"+
			"    public static void main(String[] args) {\n"+
			"        Outer<Integer>.Cell intCell = new Outer<Integer>().new Cell(314);\n"+
			"        Outer<String>.Cell strCell = new Outer<String>().cellClass.cast(intCell);\n"+
			"        String val = strCell.value; // ClassCastException\n"+
			"        System.out.println(val);\n"+
			"    }\n"+
			"}\n"
		},
		"----------\n" + 
		"1. ERROR in Outer.java (at line 8)\n" + 
		"	Class<Outer<T>.Cell> cellClass = Cell.class;\n" + 
		"	                                 ^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" + 
		"----------\n" + 
		"2. ERROR in Outer.java (at line 10)\n" + 
		"	this.cellClass = Cell.class;\n" + 
		"	                 ^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" + 
		"----------\n" + 
		"3. ERROR in Outer.java (at line 11)\n" + 
		"	this.cellClass = Outer.Cell.class;\n" + 
		"	                 ^^^^^^^^^^^^^^^^\n" + 
		"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" + 
		"----------\n");
}
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=312076
public void test1466() {
	this.runNegativeTest(
		new String[] {
			"X.java",
			"public class X<T>  { \n" +
			"    public abstract static class Base<S extends Base<S>> {\n" +
			"        public Base(Class<S> sClass) {\n" +
			"            Class<S> theClass = sClass;\n" +
			"            System.out.println(theClass);\n" +
			"            System.out.println(sClass);\n" +
			"        }\n" +
			"    }\n" +
			"    public class Arr extends Base<Arr> {\n" +
			"        public Arr() { \n" +
			"            super(Arr.class);\n" +
			"            System.out.println(Arr.class);\n" +
			"        }\n" +
			"    }\n" +
			"    public static void main(String[] args) {\n" +
			"        X<Integer> x = new X<Integer>();\n" +
			"        X<Integer>.Arr a = x.new Arr();\n" +
			"        System.out.println(a);\n" +
			"    }\n" +
			"}\n"
		},
		"----------\n" + 
		"1. ERROR in X.java (at line 11)\n" + 
		"	super(Arr.class);\n" + 
		"	^^^^^^^^^^^^^^^^^\n" + 
		"The constructor X.Base<X<T>.Arr>(Class<X.Arr>) is undefined\n" + 
		"----------\n");
}
}

Return to bug 312076

Lines 77-82 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/ast/ClassLiteralAccess.java (+10 lines)
77	this.constant = Constant.NotAConstant;	77	this.constant = Constant.NotAConstant;
78	if ((this.targetType = this.type.resolveType(scope, true /* check bounds*/)) == null)	78	if ((this.targetType = this.type.resolveType(scope, true /* check bounds*/)) == null)
79	return null;	79	return null;
		80
		81	/* https://bugs.eclipse.org/bugs/show_bug.cgi?id=320463
		82	https://bugs.eclipse.org/bugs/show_bug.cgi?id=312076
		83	JLS3 15.8.2 forbids the type named in the class literal expression from being a parameterized type.
		84	And the grammar in 18.1 disallows (where X and Y are some concrete types) constructs of the form
		85	Outer<X>.class, Outer<X>.Inner.class, Outer.Inner<X>.class, Outer<X>.Inner<Y>.class etc.
		86	Corollary wise, we should resolve the type of the class literal expression to be a raw type as
		87	class literals exist only for the raw underlying type.
		88	*/
		89	this.targetType = scope.environment().convertToRawType(this.targetType, true /* force conversion of enclosing types*/);
80		90
81	if (this.targetType.isArrayType()) {	91	if (this.targetType.isArrayType()) {
82	ArrayBinding arrayBinding = (ArrayBinding) this.targetType;	92	ArrayBinding arrayBinding = (ArrayBinding) this.targetType;

Lines 50557-50560 Link Here

(-)src/org/eclipse/jdt/core/tests/compiler/regression/GenericTypeTest.java (+75 lines)
50557	"Zork cannot be resolved to a type\n" +	50557	"Zork cannot be resolved to a type\n" +
50558	"----------\n");	50558	"----------\n");
50559	}	50559	}
		50560	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=320463
		50561	public void test1465() {
		50562	this.runNegativeTest(
		50563	new String[] {
		50564	"Outer.java",
		50565	"public class Outer<T> {\n"+
		50566	" class Cell {\n"+
		50567	" final T value;\n"+
		50568	" Cell(T value) {\n"+
		50569	" this.value = value;\n"+
		50570	" }\n"+
		50571	" }\n"+
		50572	" Class<Outer<T>.Cell> cellClass = Cell.class;\n"+
		50573	" {\n"+
		50574	" this.cellClass = Cell.class;\n"+
		50575	" this.cellClass = Outer.Cell.class;\n"+
		50576	" }\n"+
		50577	" public static void main(String[] args) {\n"+
		50578	" Outer<Integer>.Cell intCell = new Outer<Integer>().new Cell(314);\n"+
		50579	" Outer<String>.Cell strCell = new Outer<String>().cellClass.cast(intCell);\n"+
		50580	" String val = strCell.value; // ClassCastException\n"+
		50581	" System.out.println(val);\n"+
		50582	" }\n"+
		50583	"}\n"
		50584	},
		50585	"----------\n" +
		50586	"1. ERROR in Outer.java (at line 8)\n" +
		50587	" Class<Outer<T>.Cell> cellClass = Cell.class;\n" +
		50588	" ^^^^^^^^^^\n" +
		50589	"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" +
		50590	"----------\n" +
		50591	"2. ERROR in Outer.java (at line 10)\n" +
		50592	" this.cellClass = Cell.class;\n" +
		50593	" ^^^^^^^^^^\n" +
		50594	"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" +
		50595	"----------\n" +
		50596	"3. ERROR in Outer.java (at line 11)\n" +
		50597	" this.cellClass = Outer.Cell.class;\n" +
		50598	" ^^^^^^^^^^^^^^^^\n" +
		50599	"Type mismatch: cannot convert from Class<Outer.Cell> to Class<Outer<T>.Cell>\n" +
		50600	"----------\n");
		50601	}
		50602	// https://bugs.eclipse.org/bugs/show_bug.cgi?id=312076
		50603	public void test1466() {
		50604	this.runNegativeTest(
		50605	new String[] {
		50606	"X.java",
		50607	"public class X<T> { \n" +
		50608	" public abstract static class Base<S extends Base<S>> {\n" +
		50609	" public Base(Class<S> sClass) {\n" +
		50610	" Class<S> theClass = sClass;\n" +
		50611	" System.out.println(theClass);\n" +
		50612	" System.out.println(sClass);\n" +
		50613	" }\n" +
		50614	" }\n" +
		50615	" public class Arr extends Base<Arr> {\n" +
		50616	" public Arr() { \n" +
		50617	" super(Arr.class);\n" +
		50618	" System.out.println(Arr.class);\n" +
		50619	" }\n" +
		50620	" }\n" +
		50621	" public static void main(String[] args) {\n" +
		50622	" X<Integer> x = new X<Integer>();\n" +
		50623	" X<Integer>.Arr a = x.new Arr();\n" +
50624	" System.out.println(a);\n" +
50625	" }\n" +
50626	"}\n"
50627	},
50628	"----------\n" +
50629	"1. ERROR in X.java (at line 11)\n" +
50630	" super(Arr.class);\n" +
50631	" ^^^^^^^^^^^^^^^^^\n" +
50632	"The constructor X.Base<X<T>.Arr>(Class<X.Arr>) is undefined\n" +
50633	"----------\n");
50634	}
50560	}	50635	}