test/tools/javac/generics/7034511/T7034511b.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=T7034511b.out -XDrawDiagnostics T7034511b.java
     7  */
     9 class T7034511b {
    10     static class MyList<E> {
    11         E toArray(E[] e) { return null; }
    12     }
    14     void test(MyList<?> ml, Object o[]) {
    15         ml.toArray(o);
    16     }
    17 }

mercurial