Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/generics/inference/6638712/T6638712b.java@6f0ed5a89c25 (annotated)
test/tools/javac/generics/inference/6638712/T6638712b.java
Wed, 11 Apr 2012 10:50:11 +0100
- author
- mcimadamore
- date
- Wed, 11 Apr 2012 10:50:11 +0100
- changeset 1251
- 6f0ed5a89c25
- parent 384
- ed31953ca025
- child 2525
- 2eb010b6cb22
- permissions
- -rw-r--r--
7154127: Inference cleanup: remove bound check analysis from visitors in Types.java
Summary: Remove bound checking rules from recursive subtype visitors in Types.java and replace with centralized bound-checking logic
Reviewed-by: jjg, dlsmith
| mcimadamore@299 | 1 | /* |
| jjg@384 | 2 | * @test /nodynamiccopyright/ |
| mcimadamore@299 | 3 | * @bug 6638712 |
| mcimadamore@299 | 4 | * @author mcimadamore |
| mcimadamore@299 | 5 | * @summary Inference with wildcard types causes selection of inapplicable method |
| mcimadamore@299 | 6 | * @compile/fail/ref=T6638712b.out -XDrawDiagnostics T6638712b.java |
| mcimadamore@299 | 7 | */ |
| mcimadamore@299 | 8 | |
| mcimadamore@299 | 9 | class T6638712b<X> { |
| mcimadamore@299 | 10 | |
| mcimadamore@299 | 11 | <I extends T6638712b<T>, T> T m(I test) { return null; } |
| mcimadamore@299 | 12 | |
| mcimadamore@299 | 13 | void test(T6638712b<Integer> x) { |
| mcimadamore@299 | 14 | String i = m(x); |
| mcimadamore@299 | 15 | } |
| mcimadamore@299 | 16 | } |
