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

Fri, 03 May 2013 09:56:56 -0700

author
jjg
date
Fri, 03 May 2013 09:56:56 -0700
changeset 1721
abd153854f16
parent 996
384ea9a98912
child 1901
db2c539819dd
permissions
-rw-r--r--

8012728: Normalize @ignore comments on langtools tests
Reviewed-by: vromero, mcimadamore

mcimadamore@970 1 /*
mcimadamore@970 2 * @test /nodynamiccopyright/
jjg@1721 3 * @ignore 7041019 Bogus type-variable substitution with array types with dependencies on accessibility check
mcimadamore@996 4 * @bug 7034511 7040883
mcimadamore@970 5 * @summary Loophole in typesafety
mcimadamore@970 6 * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
mcimadamore@970 7 */
mcimadamore@970 8
jjg@1721 9 // backing out 7034511, see 7040883
jjg@1721 10
mcimadamore@970 11 class T7034511a {
mcimadamore@970 12
mcimadamore@970 13 interface A<T> {
mcimadamore@970 14 void foo(T x);
mcimadamore@970 15 }
mcimadamore@970 16
mcimadamore@970 17 interface B<T> extends A<T[]> { }
mcimadamore@970 18
mcimadamore@970 19 static abstract class C implements B<Integer> {
mcimadamore@970 20 <T extends B<?>> void test(T x, String[] ss) {
mcimadamore@970 21 x.foo(ss);
mcimadamore@970 22 }
mcimadamore@970 23 }
mcimadamore@970 24 }

mercurial