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

Wed, 14 Apr 2010 12:31:55 +0100

author
mcimadamore
date
Wed, 14 Apr 2010 12:31:55 +0100
changeset 537
9d9d08922405
child 914
ca32f2986301
permissions
-rw-r--r--

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 }

mercurial