Wed, 27 Apr 2016 01:34:52 +0800
Initial load
http://hg.openjdk.java.net/jdk8u/jdk8u/langtools/
changeset: 2573:53ca196be1ae
tag: jdk8u25-b17
aoqi@0 | 1 | /* |
aoqi@0 | 2 | * @test /nodynamiccopyright/ |
aoqi@0 | 3 | * @bug 6207386 |
aoqi@0 | 4 | * @summary Undecidable type system leads to crash |
aoqi@0 | 5 | * @author Martin Odersky |
aoqi@0 | 6 | * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java |
aoqi@0 | 7 | */ |
aoqi@0 | 8 | |
aoqi@0 | 9 | public class T6207386 { |
aoqi@0 | 10 | static class F<T> {} |
aoqi@0 | 11 | static class C<X extends F<F<? super X>>> { |
aoqi@0 | 12 | C(X x) { |
aoqi@0 | 13 | F<? super X> f = x; |
aoqi@0 | 14 | } |
aoqi@0 | 15 | } |
aoqi@0 | 16 | } |