1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug     7034511

     4  * @summary Loophole in typesafety

     5  * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java

     6  */

     7 

     8 class T7034511a {

     9 

    10     interface A<T> {

    11         void foo(T x);

    12     }

    13 

    14     interface B<T> extends A<T[]> { }

    15 

    16     static abstract class C implements B<Integer> {

    17         <T extends B<?>> void test(T x, String[] ss) {

    18             x.foo(ss);

    19         }

    20     }

    21 }