-1:000000000000 | 0:959103a6100f |
---|---|
1 /* | |
2 * @test /nodynamiccopyright/ | |
3 * @bug 6207386 | |
4 * @summary Undecidable type system leads to crash | |
5 * @author Martin Odersky | |
6 * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java | |
7 */ | |
8 | |
9 public class T6207386 { | |
10 static class F<T> {} | |
11 static class C<X extends F<F<? super X>>> { | |
12 C(X x) { | |
13 F<? super X> f = x; | |
14 } | |
15 } | |
16 } |