Wed, 14 Apr 2010 12:31:55 +0100
6939620: Switch to 'complex' diamond inference scheme
Summary: Implement new inference scheme for diamond operator that takes into account type of actual arguments supplied to constructor
Reviewed-by: jjg, darcy
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6939620
4 *
5 * @summary Switch to 'complex' diamond inference scheme
6 * @author mcimadamore
7 * @compile/fail/ref=Neg06.out Neg06.java -XDrawDiagnostics
8 *
9 */
11 class Neg06 {
12 interface ISuperFoo<X> {}
13 interface IFoo<X extends Number> extends ISuperFoo<X> {}
15 static class CSuperFoo<X> {}
16 static class CFoo<X extends Number> extends CSuperFoo<X> {}
18 ISuperFoo<String> isf = new IFoo<>() {};
19 CSuperFoo<String> csf1 = new CFoo<>();
20 CSuperFoo<String> csf2 = new CFoo<>() {};
21 }