test/tools/javac/generics/diamond/neg/Neg10.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

     1 /*
     2  * @test /nodynamiccopyright/
     3  * @bug 6939620 7020044
     4  *
     5  * @summary  Check that 'complex' diamond can infer type that is too specific
     6  * @author mcimadamore
     7  * @compile/fail/ref=Neg10.out -source 7 -Xlint:-options Neg10.java -XDrawDiagnostics
     8  * @compile Neg10.java -XDrawDiagnostics
     9  *
    10  */
    12 class Neg10 {
    13     static class Foo<X> {
    14         Foo(X x) {}
    15     }
    17     Foo<Number> fw = new Foo<>(1);
    18 }

mercurial