Mon, 26 Mar 2012 15:28:22 +0100
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
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 | } |