0N/A/*
0N/A * @test /nodynamiccopyright/
0N/A * @bug 6207386
0N/A * @summary Undecidable type system leads to crash
0N/A * @author Martin Odersky
610N/A * @compile/fail/ref=T6207386.out -XDrawDiagnostics T6207386.java
0N/A */
0N/A
0N/Apublic class T6207386 {
0N/A static class F<T> {}
0N/A static class C<X extends F<F<? super X>>> {
0N/A C(X x) {
0N/A F<? super X> f = x;
0N/A }
0N/A }
0N/A}