Java example source code file (T6838943.java)

This example Java source code file (T6838943.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

t6838943

The T6838943.java Java example source code

/**
 * @test /nodynamiccopyright/
 * @bug 6838943
 * @summary inference: javac is not handling type-variable substitution properly
 * @compile/fail/ref=T6838943.out -XDrawDiagnostics T6838943.java
 */
class T6838943 {
    static class A<X> {}
    static class B {}
    static class C<X> {
        <Z> void m(X x, Z z) {
            C<A c = new C>();
            c.m(new A<B>(), new B()); //should fail
        }
    }
}