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

test/tools/javac/generics/diamond/T6939780.java@2199365892b1 (annotated)

test/tools/javac/generics/diamond/T6939780.java

Mon, 13 Dec 2010 14:56:50 +0000

author

mcimadamore

date

Mon, 13 Dec 2010 14:56:50 +0000

changeset 792

2199365892b1

parent 731

fadc6d3e63f4

child 914

ca32f2986301

permissions

-rw-r--r--

7006109: Add test library to simplify the task of writing automated type-system tests
Summary: Types.java needs to be more stress-tested
Reviewed-by: jjg

mcimadamore@731	1	/*
mcimadamore@731	2	* @test /nodynamiccopyright/
mcimadamore@731	3	* @bug 6939780
mcimadamore@731	4	*
mcimadamore@731	5	* @summary add a warning to detect diamond sites
mcimadamore@731	6	* @author mcimadamore
mcimadamore@731	7	* @compile/ref=T6939780.out T6939780.java -XDrawDiagnostics -XDfindDiamond
mcimadamore@731	8	*
mcimadamore@731	9	*/
mcimadamore@731	10
mcimadamore@731	11	class T6939780 {
mcimadamore@731	12
mcimadamore@731	13	void test() {
mcimadamore@731	14	class Foo<X extends Number> {
mcimadamore@731	15	Foo() {}
mcimadamore@731	16	Foo(X x) {}
mcimadamore@731	17	}
mcimadamore@731	18	Foo<Number> f1 = new Foo<Number>(1);
mcimadamore@731	19	Foo<?> f2 = new Foo<Number>();
mcimadamore@731	20	Foo<?> f3 = new Foo<Integer>();
mcimadamore@731	21	Foo<Number> f4 = new Foo<Number>(1) {};
mcimadamore@731	22	Foo<?> f5 = new Foo<Number>() {};
mcimadamore@731	23	Foo<?> f6 = new Foo<Integer>() {};
mcimadamore@731	24	}
mcimadamore@731	25	}