t6207386.java

来自「是一款用JAVA 编写的编译器 具有很强的编译功能」· Java 代码 · 共 17 行

/*
 * @test  /nodynamiccopyright/
 * @bug     6207386
 * @summary Undecidable type system leads to crash
 * @author  Martin Odersky
 * @compile/fail/ref=T6207386.out -XDstdout -XDrawDiagnostics T6207386.java
 */

public class T6207386 {
    static class F<T> {}
    static class C<X extends F<F<? super X>>> {
        C(X x) {
            F<? super X> f = x;
        }
    }
}