Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/generics/7034511/T7034511a.java@4a6acc42c3a1 (annotated)
test/tools/javac/generics/7034511/T7034511a.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=T7034511a.out -XDrawDiagnostics T7034511a.java |
| mcimadamore@970 | 6 | */ |
| mcimadamore@970 | 7 | |
| mcimadamore@970 | 8 | class T7034511a { |
| mcimadamore@970 | 9 | |
| mcimadamore@970 | 10 | interface A<T> { |
| mcimadamore@970 | 11 | void foo(T x); |
| mcimadamore@970 | 12 | } |
| mcimadamore@970 | 13 | |
| mcimadamore@970 | 14 | interface B<T> extends A<T[]> { } |
| mcimadamore@970 | 15 | |
| mcimadamore@970 | 16 | static abstract class C implements B<Integer> { |
| mcimadamore@970 | 17 | <T extends B<?>> void test(T x, String[] ss) { |
| mcimadamore@970 | 18 | x.foo(ss); |
| mcimadamore@970 | 19 | } |
| mcimadamore@970 | 20 | } |
| mcimadamore@970 | 21 | } |
