langtools/test/tools/javac/generics/diamond/neg/Neg02.java
changeset 8635 383a416a2bdf
parent 5327 cdc146f667c7
child 29776 984a79b71cfe
equal deleted inserted replaced
8634:222829aedfe4 8635:383a416a2bdf
     1 /*
     1 /*
     2  * @test /nodynamiccopyright/
     2  * @test /nodynamiccopyright/
     3  * @bug 6939620
     3  * @bug 6939620 7020044
     4  *
     4  *
     5  * @summary  Switch to 'complex' diamond inference scheme
     5  * @summary  Check that diamond fails when inference violates declared bounds
       
     6  *           (test with nested class, qualified/simple type expressions)
     6  * @author mcimadamore
     7  * @author mcimadamore
     7  * @compile/fail/ref=Neg02.out Neg02.java -XDrawDiagnostics
     8  * @compile/fail/ref=Neg02.out Neg02.java -XDrawDiagnostics
     8  *
     9  *
     9  */
    10  */
    10 
    11 
    19         Foo<String> f1 = new Foo<>("");
    20         Foo<String> f1 = new Foo<>("");
    20         Foo<? extends String> f2 = new Foo<>("");
    21         Foo<? extends String> f2 = new Foo<>("");
    21         Foo<?> f3 = new Foo<>("");
    22         Foo<?> f3 = new Foo<>("");
    22         Foo<? super String> f4 = new Foo<>("");
    23         Foo<? super String> f4 = new Foo<>("");
    23 
    24 
    24         Foo<String> f5 = new Foo<>(""){};
    25         Foo<String> f5 = new Foo<>("", "");
    25         Foo<? extends String> f6 = new Foo<>(""){};
    26         Foo<? extends String> f6 = new Foo<>("", "");
    26         Foo<?> f7 = new Foo<>(""){};
    27         Foo<?> f7 = new Foo<>("", "");
    27         Foo<? super String> f8 = new Foo<>(""){};
    28         Foo<? super String> f8 = new Foo<>("", "");
    28 
       
    29         Foo<String> f9 = new Foo<>("", "");
       
    30         Foo<? extends String> f10 = new Foo<>("", "");
       
    31         Foo<?> f11 = new Foo<>("", "");
       
    32         Foo<? super String> f12 = new Foo<>("", "");
       
    33 
       
    34         Foo<String> f13 = new Foo<>("", ""){};
       
    35         Foo<? extends String> f14 = new Foo<>("", ""){};
       
    36         Foo<?> f15 = new Foo<>("", ""){};
       
    37         Foo<? super String> f16 = new Foo<>("", ""){};
       
    38     }
    29     }
    39 
    30 
    40     void testQualified() {
    31     void testQualified() {
    41         Foo<String> f1 = new Neg02.Foo<>("");
    32         Foo<String> f1 = new Neg02.Foo<>("");
    42         Foo<? extends String> f2 = new Neg02.Foo<>("");
    33         Foo<? extends String> f2 = new Neg02.Foo<>("");
    43         Foo<?> f3 = new Neg02.Foo<>("");
    34         Foo<?> f3 = new Neg02.Foo<>("");
    44         Foo<? super String> f4 = new Neg02.Foo<>("");
    35         Foo<? super String> f4 = new Neg02.Foo<>("");
    45 
    36 
    46         Foo<String> f5 = new Neg02.Foo<>(""){};
    37         Foo<String> f5 = new Neg02.Foo<>("", "");
    47         Foo<? extends String> f6 = new Neg02.Foo<>(""){};
    38         Foo<? extends String> f6 = new Neg02.Foo<>("", "");
    48         Foo<?> f7 = new Neg02.Foo<>(""){};
    39         Foo<?> f7 = new Neg02.Foo<>("", "");
    49         Foo<? super String> f8 = new Neg02.Foo<>(""){};
    40         Foo<? super String> f8 = new Neg02.Foo<>("", "");
    50 
       
    51         Foo<String> f9 = new Neg02.Foo<>("", "");
       
    52         Foo<? extends String> f10 = new Neg02.Foo<>("", "");
       
    53         Foo<?> f11 = new Neg02.Foo<>("", "");
       
    54         Foo<? super String> f12 = new Neg02.Foo<>("", "");
       
    55 
       
    56         Foo<String> f13 = new Neg02.Foo<>("", ""){};
       
    57         Foo<? extends String> f14 = new Neg02.Foo<>("", ""){};
       
    58         Foo<?> f15 = new Neg02.Foo<>("", ""){};
       
    59         Foo<? super String> f16 = new Neg02.Foo<>("", ""){};
       
    60     }
    41     }
    61 }
    42 }