T7034511a.java revision 995:384ea9a98912 
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 */
8
9class T7034511a {
10
11    interface A<T> {
12        void foo(T x);
13    }
14
15    interface B<T> extends A<T[]> { }
16
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}
23