Java example source code file (T6207386.java)

This example Java source code file (T6207386.java) is included in the alvinalexander.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Learn more about this Java project at its project page.

Java - Java tags/keywords

t6207386

The T6207386.java Java example source code

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

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