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

test/tools/javac/generics/diamond/neg/Neg05.java@ce6175cfe11e (annotated)

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

Mon, 24 Jan 2011 15:44:51 +0000

author

mcimadamore

date

Mon, 24 Jan 2011 15:44:51 +0000

changeset 829

ce6175cfe11e

parent 543

97b6fa97b8dd

child 914

ca32f2986301

permissions

-rw-r--r--

6968793: issues with diagnostics
Summary: several diagnostic improvements
Reviewed-by: jjg

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=Neg05.out Neg05.java -XDrawDiagnostics
mcimadamore@537	8	*
mcimadamore@537	9	*/
mcimadamore@537	10
mcimadamore@537	11	class Neg05<U> {
mcimadamore@537	12
mcimadamore@537	13	class Foo<V> {
mcimadamore@537	14	Foo(V x) {}
mcimadamore@537	15	<Z> Foo(V x, Z z) {}
mcimadamore@537	16	}
mcimadamore@537	17
mcimadamore@537	18	void testRare_1() {
mcimadamore@537	19	Neg05<?>.Foo<String> f1 = new Neg05.Foo<>("");
mcimadamore@537	20	Neg05<?>.Foo<? extends String> f2 = new Neg05.Foo<>("");
mcimadamore@537	21	Neg05<?>.Foo<?> f3 = new Neg05.Foo<>("");
mcimadamore@537	22	Neg05<?>.Foo<? super String> f4 = new Neg05.Foo<>("");
mcimadamore@537	23
mcimadamore@537	24	Neg05<?>.Foo<String> f5 = new Neg05.Foo<>(""){};
mcimadamore@537	25	Neg05<?>.Foo<? extends String> f6 = new Neg05.Foo<>(""){};
mcimadamore@537	26	Neg05<?>.Foo<?> f7 = new Neg05.Foo<>(""){};
mcimadamore@537	27	Neg05<?>.Foo<? super String> f8 = new Neg05.Foo<>(""){};
mcimadamore@537	28
mcimadamore@537	29	Neg05<?>.Foo<String> f9 = new Neg05.Foo<>("", "");
mcimadamore@537	30	Neg05<?>.Foo<? extends String> f10 = new Neg05.Foo<>("", "");
mcimadamore@537	31	Neg05<?>.Foo<?> f11 = new Neg05.Foo<>("", "");
mcimadamore@537	32	Neg05<?>.Foo<? super String> f12 = new Neg05.Foo<>("", "");
mcimadamore@537	33
mcimadamore@537	34	Neg05<?>.Foo<String> f13 = new Neg05.Foo<>("", ""){};
mcimadamore@537	35	Neg05<?>.Foo<? extends String> f14 = new Neg05.Foo<>("", ""){};
mcimadamore@537	36	Neg05<?>.Foo<?> f15 = new Neg05.Foo<>("", ""){};
mcimadamore@537	37	Neg05<?>.Foo<? super String> f16 = new Neg05.Foo<>("", ""){};
mcimadamore@537	38	}
mcimadamore@537	39
mcimadamore@537	40	void testRare_2(Neg05 n) {
mcimadamore@537	41	Neg05<?>.Foo<String> f1 = n.new Foo<>("");
mcimadamore@537	42	Neg05<?>.Foo<? extends String> f2 = n.new Foo<>("");
mcimadamore@537	43	Neg05<?>.Foo<?> f3 = n.new Foo<>("");
mcimadamore@537	44	Neg05<?>.Foo<? super String> f4 = n.new Foo<>("");
mcimadamore@537	45
mcimadamore@537	46	Neg05<?>.Foo<String> f5 = n.new Foo<>(""){};
mcimadamore@537	47	Neg05<?>.Foo<? extends String> f6 = n.new Foo<>(""){};
mcimadamore@537	48	Neg05<?>.Foo<?> f7 = n.new Foo<>(""){};
mcimadamore@537	49	Neg05<?>.Foo<? super String> f8 = n.new Foo<>(""){};
mcimadamore@537	50
mcimadamore@537	51	Neg05<?>.Foo<String> f9 = n.new Foo<>("", "");
mcimadamore@537	52	Neg05<?>.Foo<? extends String> f10 = n.new Foo<>("", "");
mcimadamore@537	53	Neg05<?>.Foo<?> f11 = n.new Foo<>("", "");
mcimadamore@537	54	Neg05<?>.Foo<? super String> f12 = n.new Foo<>("", "");
mcimadamore@537	55
mcimadamore@537	56	Neg05<?>.Foo<String> f13 = n.new Foo<>("", ""){};
mcimadamore@537	57	Neg05<?>.Foo<? extends String> f14 = n.new Foo<>("", ""){};
mcimadamore@537	58	Neg05<?>.Foo<?> f15 = n.new Foo<>("", ""){};
mcimadamore@537	59	Neg05<?>.Foo<? super String> f16 = n.new Foo<>("", ""){};
mcimadamore@537	60	}
mcimadamore@537	61	}