Mon, 21 Jan 2013 20:13:56 +0000
8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
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 }