mcimadamore@970: /*
mcimadamore@970:  * @test /nodynamiccopyright/
mcimadamore@996:  * @ignore backing out 7034511, see 7040883
mcimadamore@996:  * @bug     7034511 7040883
mcimadamore@970:  * @summary Loophole in typesafety
mcimadamore@970:  * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
mcimadamore@970:  */
mcimadamore@970: 
mcimadamore@970: class T7034511a {
mcimadamore@970: 
mcimadamore@970:     interface A<T> {
mcimadamore@970:         void foo(T x);
mcimadamore@970:     }
mcimadamore@970: 
mcimadamore@970:     interface B<T> extends A<T[]> { }
mcimadamore@970: 
mcimadamore@970:     static abstract class C implements B<Integer> {
mcimadamore@970:         <T extends B<?>> void test(T x, String[] ss) {
mcimadamore@970:             x.foo(ss);
mcimadamore@970:         }
mcimadamore@970:     }
mcimadamore@970: }