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

Fri, 22 Mar 2013 12:43:09 +0000

author
mcimadamore
date
Fri, 22 Mar 2013 12:43:09 +0000
changeset 1655
c6728c9addff
parent 996
384ea9a98912
child 1721
abd153854f16
permissions
-rw-r--r--

8010303: Graph inference: missing incorporation step causes spurious inference error
Summary: Multiple equality constraints on inference vars are not used to generate new inference constraints
Reviewed-by: jjg

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @ignore backing out 7034511, see 7040883
     4  * @bug     7034511 7040883
     5  * @summary Loophole in typesafety
     6  * @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
     7  */
     9 class T7034511a {
    11     interface A<T> {
    12         void foo(T x);
    13     }
    15     interface B<T> extends A<T[]> { }
    17     static abstract class C implements B<Integer> {
    18         <T extends B<?>> void test(T x, String[] ss) {
    19             x.foo(ss);
    20         }
    21     }
    22 }

mercurial