Mon, 24 Oct 2011 13:00:30 +0100
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
1 /*
2 * @test /nodynamiccopyright/
3 * @ignore backing out 7034511, see 7040883
4 * @bug 7034511 7040883
5 * @summary Loophole in typesafety
6 * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
7 */
9 class T7034511a {
11 interface A<T> {
12 void foo(T x);
13 }
15 interface B<T> extends A<T[]> { }
17 static abstract class C implements B<Integer> {
18 <T extends B<?>> void test(T x, String[] ss) {
19 x.foo(ss);
20 }
21 }
22 }