test/tools/javac/generics/7034511/T7034511b.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

mcimadamore@970 1 /*
mcimadamore@970 2 * @test /nodynamiccopyright/
mcimadamore@1901 3 * @bug 7034511 7040883 7041019
mcimadamore@970 4 * @summary Loophole in typesafety
mcimadamore@970 5 * @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java
mcimadamore@970 6 */
mcimadamore@970 7
mcimadamore@970 8 class T7034511b {
mcimadamore@970 9 static class MyList<E> {
mcimadamore@970 10 E toArray(E[] e) { return null; }
mcimadamore@970 11 }
mcimadamore@970 12
mcimadamore@970 13 void test(MyList<?> ml, Object o[]) {
mcimadamore@970 14 ml.toArray(o);
mcimadamore@970 15 }
mcimadamore@970 16 }

mercurial