test/tools/javac/generics/7034511/T7034511a.java

changeset 970
f00986f55961
child 996
384ea9a98912
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/test/tools/javac/generics/7034511/T7034511a.java	Tue Apr 12 20:56:16 2011 -0700
     1.3 @@ -0,0 +1,21 @@
     1.4 +/*
     1.5 + * @test /nodynamiccopyright/
     1.6 + * @bug     7034511
     1.7 + * @summary Loophole in typesafety
     1.8 + * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
     1.9 + */
    1.10 +
    1.11 +class T7034511a {
    1.12 +
    1.13 +    interface A<T> {
    1.14 +        void foo(T x);
    1.15 +    }
    1.16 +
    1.17 +    interface B<T> extends A<T[]> { }
    1.18 +
    1.19 +    static abstract class C implements B<Integer> {
    1.20 +        <T extends B<?>> void test(T x, String[] ss) {
    1.21 +            x.foo(ss);
    1.22 +        }
    1.23 +    }
    1.24 +}

mercurial