• file
• revisions
• annotate
• diff
• comparison
• raw

test/tools/javac/generics/diamond/neg/Neg02.java@9d9d08922405 (annotated)

test/tools/javac/generics/diamond/neg/Neg02.java

Wed, 14 Apr 2010 12:31:55 +0100

author

mcimadamore

date

Wed, 14 Apr 2010 12:31:55 +0100

changeset 537

9d9d08922405

child 543

97b6fa97b8dd

permissions

-rw-r--r--

6939620: Switch to 'complex' diamond inference scheme
Summary: Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor
Reviewed-by: jjg, darcy

mcimadamore@537	1	/*
mcimadamore@537	2	* @test /nodynamiccopyright/
mcimadamore@537	3	* @bug 6939620
mcimadamore@537	4	*
mcimadamore@537	5	* @summary Switch to 'complex' diamond inference scheme
mcimadamore@537	6	* @author mcimadamore
mcimadamore@537	7	* @compile/fail/ref=Neg02.out Neg02.java -XDrawDiagnostics
mcimadamore@537	8	*
mcimadamore@537	9	*/
mcimadamore@537	10
mcimadamore@537	11	class Neg02 {
mcimadamore@537	12
mcimadamore@537	13	static class Foo<X extends Number> {
mcimadamore@537	14	Foo(X x) {}
mcimadamore@537	15	<Z> Foo(X x, Z z) {}
mcimadamore@537	16	}
mcimadamore@537	17
mcimadamore@537	18	void testSimple() {
mcimadamore@537	19	Foo<String> f1 = new Foo<>("");
mcimadamore@537	20	Foo<? extends String> f2 = new Foo<>("");
mcimadamore@537	21	Foo<?> f3 = new Foo<>("");
mcimadamore@537	22	Foo<? super String> f4 = new Foo<>("");
mcimadamore@537	23
mcimadamore@537	24	Foo<String> f5 = new Foo<>(""){};
mcimadamore@537	25	Foo<? extends String> f6 = new Foo<>(""){};
mcimadamore@537	26	Foo<?> f7 = new Foo<>(""){};
mcimadamore@537	27	Foo<? super String> f8 = new Foo<>(""){};
mcimadamore@537	28
mcimadamore@537	29	Foo<String> f9 = new Foo<>("", "");
mcimadamore@537	30	Foo<? extends String> f10 = new Foo<>("", "");
mcimadamore@537	31	Foo<?> f11 = new Foo<>("", "");
mcimadamore@537	32	Foo<? super String> f12 = new Foo<>("", "");
mcimadamore@537	33
mcimadamore@537	34	Foo<String> f13 = new Foo<>("", ""){};
mcimadamore@537	35	Foo<? extends String> f14 = new Foo<>("", ""){};
mcimadamore@537	36	Foo<?> f15 = new Foo<>("", ""){};
mcimadamore@537	37	Foo<? super String> f16 = new Foo<>("", ""){};
mcimadamore@537	38	}
mcimadamore@537	39
mcimadamore@537	40	void testQualified() {
mcimadamore@537	41	Foo<String> f1 = new Neg02.Foo<>("");
mcimadamore@537	42	Foo<? extends String> f2 = new Neg02.Foo<>("");
mcimadamore@537	43	Foo<?> f3 = new Neg02.Foo<>("");
mcimadamore@537	44	Foo<? super String> f4 = new Neg02.Foo<>("");
mcimadamore@537	45
mcimadamore@537	46	Foo<String> f5 = new Neg02.Foo<>(""){};
mcimadamore@537	47	Foo<? extends String> f6 = new Neg02.Foo<>(""){};
mcimadamore@537	48	Foo<?> f7 = new Neg02.Foo<>(""){};
mcimadamore@537	49	Foo<? super String> f8 = new Neg02.Foo<>(""){};
mcimadamore@537	50
mcimadamore@537	51	Foo<String> f9 = new Neg02.Foo<>("", "");
mcimadamore@537	52	Foo<? extends String> f10 = new Neg02.Foo<>("", "");
mcimadamore@537	53	Foo<?> f11 = new Neg02.Foo<>("", "");
mcimadamore@537	54	Foo<? super String> f12 = new Neg02.Foo<>("", "");
mcimadamore@537	55
mcimadamore@537	56	Foo<String> f13 = new Neg02.Foo<>("", ""){};
mcimadamore@537	57	Foo<? extends String> f14 = new Neg02.Foo<>("", ""){};
mcimadamore@537	58	Foo<?> f15 = new Neg02.Foo<>("", ""){};
mcimadamore@537	59	Foo<? super String> f16 = new Neg02.Foo<>("", ""){};
mcimadamore@537	60	}
mcimadamore@537	61	}