test/tools/javac/generics/diamond/neg/Neg07.java

Mon, 21 Jan 2013 20:13:56 +0000

author
mcimadamore
date
Mon, 21 Jan 2013 20:13:56 +0000
changeset 1510
7873d37f5b37
parent 914
ca32f2986301
child 2525
2eb010b6cb22
permissions
-rw-r--r--

8005244: Implement overload resolution as per latest spec EDR
Summary: Add support for stuck expressions and provisional applicability
Reviewed-by: jjg

mcimadamore@537 1 /*
mcimadamore@537 2 * @test /nodynamiccopyright/
mcimadamore@914 3 * @bug 6939620 7020044
mcimadamore@537 4 *
mcimadamore@914 5 * @summary Check that diamond works where LHS is supertype of RHS (1-ary constructor)
mcimadamore@537 6 * @author mcimadamore
mcimadamore@537 7 * @compile/fail/ref=Neg07.out Neg07.java -XDrawDiagnostics
mcimadamore@537 8 *
mcimadamore@537 9 */
mcimadamore@537 10
mcimadamore@537 11 class Neg07 {
mcimadamore@537 12 static class SuperFoo<X> {}
mcimadamore@537 13 static class Foo<X extends Number> extends SuperFoo<X> {
mcimadamore@537 14 Foo(X x) {}
mcimadamore@537 15 }
mcimadamore@537 16
mcimadamore@537 17 SuperFoo<String> sf1 = new Foo<>("");
mcimadamore@537 18 }

mercurial