c46387423a
Type-variable substutution takes upper bound of replaced captured type-variable Reviewed-by: dlsmith
17 lines
330 B
Java
17 lines
330 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 7034511
|
|
* @summary Loophole in typesafety
|
|
* @compile/fail/ref=T7034511b.out -XDrawDiagnostics T7034511b.java
|
|
*/
|
|
|
|
class T7034511b {
|
|
static class MyList<E> {
|
|
E toArray(E[] e) { return null; }
|
|
}
|
|
|
|
void test(MyList<?> ml, Object o[]) {
|
|
ml.toArray(o);
|
|
}
|
|
}
|