langtools/test/tools/javac/generics/diamond/6939780/T6939780.java
author jlahoda
Sun, 28 Jul 2013 10:17:45 +0200
changeset 19132 e2349c075315
parent 16331 fafe9741fb7e
child 28142 32a6b1af81b1
permissions -rw-r--r--
8021338: Diamond finder may mark a required type argument as unnecessary Reviewed-by: mcimadamore

/*
 * @test /nodynamiccopyright/
 * @bug 6939780 7020044 8009459 8021338
 *
 * @summary  add a warning to detect diamond sites
 * @author mcimadamore
 * @compile/ref=T6939780_7.out -Xlint:-options -source 7 T6939780.java -XDrawDiagnostics -XDfindDiamond
 * @compile/ref=T6939780_8.out T6939780.java -XDrawDiagnostics -XDfindDiamond
 *
 */

class T6939780 {

    static class Foo<X extends Number> {
        Foo() {}
        Foo(X x) {}
    }

    void testAssign() {
        Foo<Number> f1 = new Foo<Number>(1);
        Foo<?> f2 = new Foo<Number>();
        Foo<?> f3 = new Foo<Integer>();
        Foo<Number> f4 = new Foo<Number>(1) {};
        Foo<?> f5 = new Foo<Number>() {};
        Foo<?> f6 = new Foo<Integer>() {};
    }

    void testMethod() {
        gn(new Foo<Number>(1));
        gw(new Foo<Number>());
        gw(new Foo<Integer>());
        gn(new Foo<Number>(1) {});
        gw(new Foo<Number>() {});
        gw(new Foo<Integer>() {});
    }

    void gw(Foo<?> fw) { }
    void gn(Foo<Number> fn) { }

    static class Foo2<X> {
        X copy(X t) {
            return t;
        }
    }

    void testReciever() {
        Number s = new Foo2<Number>().copy(0);
    }

}