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

Mon, 02 Sep 2013 22:38:36 +0100

author
vromero
date
Mon, 02 Sep 2013 22:38:36 +0100
changeset 2000
4a6acc42c3a1
parent 1901
db2c539819dd
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug     7034511 7040883 7041019
     4  * @summary Loophole in typesafety
     5  * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
     6  */
     8 class T7034511a {
    10     interface A<T> {
    11         void foo(T x);
    12     }
    14     interface B<T> extends A<T[]> { }
    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 }

mercurial