/*
 * @test /nodynamiccopyright/
 * @bug 6840638
 *
 * @summary  Project Coin: Improved Type Inference for Generic Instance Creation (aka 'diamond')
 * @author mcimadamore
 * @compile Pos01.java -source 1.7
 * @run main Pos01
 *
 */

public class Pos01<X> {

    Pos01(X x) {}

    <Z> Pos01(X x, Z z) {}

    void test() {
        Pos01<Integer> p1 = new Pos01<>(1); //new Foo<Integer> created
        Pos01<? extends Integer> p2 = new Pos01<>(1); //new Foo<Integer> created
        Pos01<?> p3 = new Pos01<>(1); //new Foo<Object> created
        Pos01<? super Integer> p4 = new Pos01<>(1); //new Foo<Object> created

        Pos01<Integer> p5 = new Pos01<>(1){}; //new Foo<Integer> created
        Pos01<? extends Integer> p6 = new Pos01<>(1){}; //new Foo<Integer> created
        Pos01<?> p7 = new Pos01<>(1){}; //new Foo<Object> created
        Pos01<? super Integer> p8 = new Pos01<>(1){}; //new Foo<Object> created

        Pos01<Integer> p9 = new Pos01<>(1, ""); //new Foo<Integer> created
        Pos01<? extends Integer> p10 = new Pos01<>(1, ""); //new Foo<Integer> created
        Pos01<?> p11 = new Pos01<>(1, ""); //new Foo<Object> created
        Pos01<? super Integer> p12 = new Pos01<>(1, ""); //new Foo<Object> created

        Pos01<Integer> p13 = new Pos01<>(1, ""){}; //new Foo<Integer> created
        Pos01<? extends Integer> p14= new Pos01<>(1, ""){}; //new Foo<Integer> created
        Pos01<?> p15 = new Pos01<>(1, ""){}; //new Foo<Object> created
        Pos01<? super Integer> p16 = new Pos01<>(1, ""){}; //new Foo<Object> created
    }

    public static void main(String[] args) {
        Pos01<String> p1 = new Pos01<>("");
        p1.test();
    }
}