jdk8-mips64-public/langtools: test/tools/javac/generics/7034511/T7034511b.java@f00986f55961

test/tools/javac/generics/7034511/T7034511b.java@f00986f55961

Tue, 12 Apr 2011 20:56:16 -0700

7034511: Loophole in typesafety
Summary: Type-variable substutution takes upper bound of replaced captured type-variable
Reviewed-by: dlsmith

     1 /*

     2  * @test /nodynamiccopyright/

     3  * @bug     7034511

     4  * @summary Loophole in typesafety

     5  * @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java

     6  */

     8 class T7034511b {

     9     static class MyList<E> {

    10         E toArray(E[] e) { return null; }

    11     }

    13     void test(MyList<?> ml, Object o[]) {

    14         ml.toArray(o);

    15     }

    16 }