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

test/tools/javac/generics/6476118/T6476118c.java@05814303a056 (annotated)

test/tools/javac/generics/6476118/T6476118c.java

Mon, 24 Oct 2011 13:00:30 +0100

author

mcimadamore

date

Mon, 24 Oct 2011 13:00:30 +0100

changeset 1114

05814303a056

parent 858

96d4226bdd60

child 2525

2eb010b6cb22

permissions

-rw-r--r--

7098660: Write better overload resolution/inference tests
Summary: Add overload/inference debug diagnostics - added test harness using annotations to check outcome of overload resolution/inference
Reviewed-by: jjg

mcimadamore@780	1	/**
mcimadamore@780	2	* @test /nodynamiccopyright/
mcimadamore@780	3	* @bug 6476118
mcimadamore@780	4	* @summary compiler bug causes runtime ClassCastException for generics overloading
mcimadamore@780	5	* @compile/fail/ref=T6476118c.out -XDrawDiagnostics T6476118c.java
mcimadamore@780	6	*/
mcimadamore@780	7
mcimadamore@858	8	class T6476118c {
mcimadamore@780	9	static class A<T> {
mcimadamore@780	10	public void foo(T t) { }
mcimadamore@780	11	}
mcimadamore@780	12
mcimadamore@780	13	static class B<T extends Number> extends A<T> {
mcimadamore@780	14	public void foo(T t) { }
mcimadamore@780	15	}
mcimadamore@780	16
mcimadamore@780	17	static class C extends B<Integer> {
mcimadamore@780	18	public void foo(Object o) { }
mcimadamore@780	19	public void foo(Number o) { }
mcimadamore@780	20	}
mcimadamore@780	21
mcimadamore@780	22	static class D extends C {} //check that no spurious diags generated here!
mcimadamore@780	23	}