Thu, 21 Feb 2013 15:27:05 +0000
8008444: Inherited generic functional descriptors are merged incorrectly
Summary: Missing call to Types.createMethodWithThrownTypes
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=T7034511a.out -XDrawDiagnostics T7034511a.java
7 */
9 class T7034511a {
11 interface A<T> {
12 void foo(T x);
13 }
15 interface B<T> extends A<T[]> { }
17 static abstract class C implements B<Integer> {
18 <T extends B<?>> void test(T x, String[] ss) {
19 x.foo(ss);
20 }
21 }
22 }