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 +}