1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/test/tools/javac/generics/6207386/T6207386.java Wed Apr 27 01:34:52 2016 +0800 1.3 @@ -0,0 +1,16 @@ 1.4 +/* 1.5 + * @test /nodynamiccopyright/ 1.6 + * @bug 6207386 1.7 + * @summary Undecidable type system leads to crash 1.8 + * @author Martin Odersky 1.9 + * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java 1.10 + */ 1.11 + 1.12 +public class T6207386 { 1.13 + static class F<T> {} 1.14 + static class C<X extends F<F<? super X>>> { 1.15 + C(X x) { 1.16 + F<? super X> f = x; 1.17 + } 1.18 + } 1.19 +}