Attachment #98650 for bug #230070




			"Type mismatch: cannot convert from List<?>[] to List<? extends Object>\n" + 
			"----------\n");
}
//https://bugs.eclipse.org/bugs/show_bug.cgi?id=230070
public void test1314() {
	this.runConformTest(
		new String[] {
			"X.java",
			"public class X<K> {\n" + 
			"	static final B b = new B();\n" + 
			"	Object foo(K toKey) {\n" + 
			"		return new Y((K) (Object) b);\n" + 
			"	}\n" + 
			"}",
			"B.java",
			"class B {}",
			"Y.java",
			"class Y<K> {\n" + 
			"	Y(K k) {\n" + 
			"	}\n" + 
			"}\n"
		},
		"");
}
}

Return to bug 230070

Lines 43640-43643 Link Here

(-)src/org/eclipse/jdt/core/tests/compiler/regression/GenericTypeTest.java (+21 lines)
43640	"Type mismatch: cannot convert from List<?>[] to List<? extends Object>\n" +	43640	"Type mismatch: cannot convert from List<?>[] to List<? extends Object>\n" +
43641	"----------\n");	43641	"----------\n");
43642	}	43642	}
		43643	//https://bugs.eclipse.org/bugs/show_bug.cgi?id=230070
		43644	public void test1314() {
		43645	this.runConformTest(
		43646	new String[] {
		43647	"X.java",
		43648	"public class X<K> {\n" +
		43649	" static final B b = new B();\n" +
		43650	" Object foo(K toKey) {\n" +
		43651	" return new Y((K) (Object) b);\n" +
		43652	" }\n" +
		43653	"}",
		43654	"B.java",
		43655	"class B {}",
		43656	"Y.java",
		43657	"class Y<K> {\n" +
		43658	" Y(K k) {\n" +
		43659	" }\n" +
		43660	"}\n"
		43661	},
		43662	"");
		43663	}
43643	}	43664	}