Mercurial > jdk8-mips64-public > langtools / annotate
test/tools/javac/generics/6207386/T6207386.java@4a6acc42c3a1 (annotated)
test/tools/javac/generics/6207386/T6207386.java
Mon, 02 Sep 2013 22:38:36 +0100
- author
- vromero
- date
- Mon, 02 Sep 2013 22:38:36 +0100
- changeset 2000
- 4a6acc42c3a1
- parent 611
- 4172cfff05f0
- child 2525
- 2eb010b6cb22
- permissions
- -rw-r--r--
8016177: structural most specific and stuckness
Reviewed-by: jjg, vromero
Contributed-by: maurizio.cimadamore@oracle.com
| duke@1 | 1 | /* |
| duke@1 | 2 | * @test /nodynamiccopyright/ |
| duke@1 | 3 | * @bug 6207386 |
| duke@1 | 4 | * @summary Undecidable type system leads to crash |
| duke@1 | 5 | * @author Martin Odersky |
| jjg@611 | 6 | * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java |
| duke@1 | 7 | */ |
| duke@1 | 8 | |
| duke@1 | 9 | public class T6207386 { |
| duke@1 | 10 | static class F<T> {} |
| duke@1 | 11 | static class C<X extends F<F<? super X>>> { |
| duke@1 | 12 | C(X x) { |
| duke@1 | 13 | F<? super X> f = x; |
| duke@1 | 14 | } |
| duke@1 | 15 | } |
| duke@1 | 16 | } |
