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

Mon, 26 Mar 2012 15:28:22 +0100

author
mcimadamore
date
Mon, 26 Mar 2012 15:28:22 +0100
changeset 1238
e28a06a3c5d9
parent 914
ca32f2986301
child 2525
2eb010b6cb22
permissions
-rw-r--r--

7151492: Encapsulate check logic into Attr.ResultInfo
Summary: ResultInfo class should be used to make attribution code transparent w.r.t. check logic being used
Reviewed-by: jjg, dlsmith

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

mercurial