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

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

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

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

author

mcimadamore

date

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

changeset 537

9d9d08922405

child 914

ca32f2986301

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 6894753
mcimadamore@537	4	*
mcimadamore@537	5	* @summary Switch to 'complex' diamond inference scheme
mcimadamore@537	6	* @author mcimadamore
mcimadamore@537	7	* @compile/fail/ref=Neg09.out Neg09.java -XDrawDiagnostics
mcimadamore@537	8	*
mcimadamore@537	9	*/
mcimadamore@537	10
mcimadamore@537	11	class Neg09 {
mcimadamore@537	12	static class Foo<X extends Number & Comparable<Number>> {}
mcimadamore@537	13	static class DoubleFoo<X extends Number & Comparable<Number>,
mcimadamore@537	14	Y extends Number & Comparable<Number>> {}
mcimadamore@537	15	static class TripleFoo<X extends Number & Comparable<Number>,
mcimadamore@537	16	Y extends Number & Comparable<Number>,
mcimadamore@537	17	Z> {}
mcimadamore@537	18
mcimadamore@537	19	Foo<?> fw = new Foo<>();
mcimadamore@537	20	DoubleFoo<?,?> dw = new DoubleFoo<>();
mcimadamore@537	21	TripleFoo<?,?,?> tw = new TripleFoo<>();
mcimadamore@537	22	}