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
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 }