Java example source code file (Neg03.java)

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

foo, neg03, number, string

The Neg03.java Java example source code

/*
 * @test /nodynamiccopyright/
 * @bug 6939620 7020044
 *
 * @summary  Check that diamond fails when inference violates declared bounds
 *           (test with inner class, qualified/simple type expressions)
 * @author mcimadamore
 * @compile/fail/ref=Neg03.out Neg03.java -XDrawDiagnostics
 *
 */

class Neg03<U> {

    class Foo<V extends Number> {
        Foo(V x) {}
        <Z> Foo(V x, Z z) {}
    }

    void testSimple() {
        Foo<String> f1 = new Foo<>("");
        Foo<? extends String> f2 = new Foo<>("");
        Foo<?> f3 = new Foo<>("");
        Foo<? super String> f4 = new Foo<>("");

        Foo<String> f5 = new Foo<>("", "");
        Foo<? extends String> f6 = new Foo<>("", "");
        Foo<?> f7 = new Foo<>("", "");
        Foo<? super String> f8 = new Foo<>("", "");
    }

    void testQualified_1() {
        Foo<String> f1 = new Neg03.Foo<>("");
        Foo<? extends String> f2 = new Neg03.Foo<>("");
        Foo<?> f3 = new Neg03.Foo<>("");
        Foo<? super String> f4 = new Neg03.Foo<>("");

        Foo<String> f5 = new Neg03.Foo<>("", "");
        Foo<? extends String> f6 = new Neg03.Foo<>("", "");
        Foo<?> f7 = new Neg03.Foo<>("", "");
        Foo<? super String> f8 = new Neg03.Foo<>("", "");
    }

    void testQualified_2(Neg03<U> n) {
        Foo<String> f1 = n.new Foo<>("");
        Foo<? extends String> f2 = n.new Foo<>("");
        Foo<?> f3 = n.new Foo<>("");
        Foo<? super String> f4 = n.new Foo<>("");

        Foo<String> f5 = n.new Foo<>("", "");
        Foo<? extends String> f6 = n.new Foo<>("", "");
        Foo<?> f7 = n.new Foo<>("", "");
        Foo<? super String> f8 = n.new Foo<>("", "");
    }
}