Mercurial Mercurial > jdk-sandbox / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
langtools/test/tools/javac/generics/diamond/neg/Neg03.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 inner class, qualified/simple type expressions)
 
     6  * @author mcimadamore
 
     7  * @author mcimadamore
 
     7  * @compile/fail/ref=Neg03.out Neg03.java -XDrawDiagnostics
 
     8  * @compile/fail/ref=Neg03.out Neg03.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_1() {
 
    31     void testQualified_1() {
 
    41         Foo<String> f1 = new Neg03<U>.Foo<>("");
 
    32         Foo<String> f1 = new Neg03<U>.Foo<>("");
 
    42         Foo<? extends String> f2 = new Neg03<U>.Foo<>("");
 
    33         Foo<? extends String> f2 = new Neg03<U>.Foo<>("");
 
    43         Foo<?> f3 = new Neg03<U>.Foo<>("");
 
    34         Foo<?> f3 = new Neg03<U>.Foo<>("");
 
    44         Foo<? super String> f4 = new Neg03<U>.Foo<>("");
 
    35         Foo<? super String> f4 = new Neg03<U>.Foo<>("");
 
    45 
    36 
    46         Foo<String> f5 = new Neg03<U>.Foo<>(""){};
 
    37         Foo<String> f5 = new Neg03<U>.Foo<>("", "");
 
    47         Foo<? extends String> f6 = new Neg03<U>.Foo<>(""){};
 
    38         Foo<? extends String> f6 = new Neg03<U>.Foo<>("", "");
 
    48         Foo<?> f7 = new Neg03<U>.Foo<>(""){};
 
    39         Foo<?> f7 = new Neg03<U>.Foo<>("", "");
 
    49         Foo<? super String> f8 = new Neg03<U>.Foo<>(""){};
 
    40         Foo<? super String> f8 = new Neg03<U>.Foo<>("", "");
 
    50 
       
    51         Foo<String> f9 = new Neg03<U>.Foo<>("", "");
 
       
    52         Foo<? extends String> f10 = new Neg03<U>.Foo<>("", "");
 
       
    53         Foo<?> f11 = new Neg03<U>.Foo<>("", "");
 
       
    54         Foo<? super String> f12 = new Neg03<U>.Foo<>("", "");
 
       
    55 
       
    56         Foo<String> f13 = new Neg03<U>.Foo<>("", ""){};
 
       
    57         Foo<? extends String> f14 = new Neg03<U>.Foo<>("", ""){};
 
       
    58         Foo<?> f15 = new Neg03<U>.Foo<>("", ""){};
 
       
    59         Foo<? super String> f16 = new Neg03<U>.Foo<>("", ""){};
 
       
    60     }
 
    41     }
 
    61 
    42 
    62     void testQualified_2(Neg03<U> n) {
 
    43     void testQualified_2(Neg03<U> n) {
 
    63         Foo<String> f1 = n.new Foo<>("");
 
    44         Foo<String> f1 = n.new Foo<>("");
 
    64         Foo<? extends String> f2 = n.new Foo<>("");
 
    45         Foo<? extends String> f2 = n.new Foo<>("");
 
    65         Foo<?> f3 = n.new Foo<>("");
 
    46         Foo<?> f3 = n.new Foo<>("");
 
    66         Foo<? super String> f4 = n.new Foo<>("");
 
    47         Foo<? super String> f4 = n.new Foo<>("");
 
    67 
    48 
    68         Foo<String> f5 = n.new Foo<>(""){};
 
    49         Foo<String> f5 = n.new Foo<>("", "");
 
    69         Foo<? extends String> f6 = n.new Foo<>(""){};
 
    50         Foo<? extends String> f6 = n.new Foo<>("", "");
 
    70         Foo<?> f7 = n.new Foo<>(""){};
 
    51         Foo<?> f7 = n.new Foo<>("", "");
 
    71         Foo<? super String> f8 = n.new Foo<>(""){};
 
    52         Foo<? super String> f8 = n.new Foo<>("", "");
 
    72 
       
    73         Foo<String> f9 = n.new Foo<>("", "");
 
       
    74         Foo<? extends String> f10 = n.new Foo<>("", "");
 
       
    75         Foo<?> f11 = n.new Foo<>("", "");
 
       
    76         Foo<? super String> f12 = n.new Foo<>("", "");
 
       
    77 
       
    78         Foo<String> f13 = n.new Foo<>("", ""){};
 
       
    79         Foo<? extends String> f14 = n.new Foo<>("", ""){};
 
       
    80         Foo<?> f15 = n.new Foo<>("", ""){};
 
       
    81         Foo<? super String> f16 = n.new Foo<>("", ""){};
 
       
    82     }
 
    53     }
 
    83 }
 
    54 }
jdk-sandbox