defbb67771
Call to upperBound() when performing type-variable substitution on element type leads to unsoundness Reviewed-by: jjg
22 lines
434 B
Java
22 lines
434 B
Java
/*
|
|
* @test /nodynamiccopyright/
|
|
* @bug 7034511 7040883 7041019
|
|
* @summary Loophole in typesafety
|
|
* @compile/fail/ref=T7034511a.out -XDrawDiagnostics T7034511a.java
|
|
*/
|
|
|
|
class T7034511a {
|
|
|
|
interface A<T> {
|
|
void foo(T x);
|
|
}
|
|
|
|
interface B<T> extends A<T[]> { }
|
|
|
|
static abstract class C implements B<Integer> {
|
|
<T extends B<?>> void test(T x, String[] ss) {
|
|
x.foo(ss);
|
|
}
|
|
}
|
|
}
|