equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * @test /nodynamiccopyright/ |
2 * @test /nodynamiccopyright/ |
3 * @bug 6939620 7020044 |
3 * @bug 6939620 7020044 8062373 |
4 * |
4 * |
5 * @summary Check that diamond fails when inference violates declared bounds |
5 * @summary Check that diamond fails when inference violates declared bounds |
6 * (test with nested class, qualified/simple type expressions) |
6 * (test with nested class, qualified/simple type expressions) |
7 * @author mcimadamore |
7 * @author mcimadamore |
8 * @compile/fail/ref=Neg02.out Neg02.java -XDrawDiagnostics |
8 * @compile/fail/ref=Neg02.out Neg02.java -XDrawDiagnostics |
24 |
24 |
25 Foo<String> f5 = new Foo<>("", ""); |
25 Foo<String> f5 = new Foo<>("", ""); |
26 Foo<? extends String> f6 = new Foo<>("", ""); |
26 Foo<? extends String> f6 = new Foo<>("", ""); |
27 Foo<?> f7 = new Foo<>("", ""); |
27 Foo<?> f7 = new Foo<>("", ""); |
28 Foo<? super String> f8 = new Foo<>("", ""); |
28 Foo<? super String> f8 = new Foo<>("", ""); |
|
29 |
|
30 Foo<String> f9 = new Foo<>(""){}; |
|
31 Foo<? extends String> f10 = new Foo<>(""){}; |
|
32 Foo<?> f11 = new Foo<>(""){}; |
|
33 Foo<? super String> f12 = new Foo<>(""){}; |
|
34 |
|
35 Foo<String> f13 = new Foo<>("", ""){}; |
|
36 Foo<? extends String> f14 = new Foo<>("", ""){}; |
|
37 Foo<?> f15 = new Foo<>("", ""){}; |
|
38 Foo<? super String> f16 = new Foo<>("", ""){}; |
29 } |
39 } |
30 |
40 |
31 void testQualified() { |
41 void testQualified() { |
32 Foo<String> f1 = new Neg02.Foo<>(""); |
42 Foo<String> f1 = new Neg02.Foo<>(""); |
33 Foo<? extends String> f2 = new Neg02.Foo<>(""); |
43 Foo<? extends String> f2 = new Neg02.Foo<>(""); |
36 |
46 |
37 Foo<String> f5 = new Neg02.Foo<>("", ""); |
47 Foo<String> f5 = new Neg02.Foo<>("", ""); |
38 Foo<? extends String> f6 = new Neg02.Foo<>("", ""); |
48 Foo<? extends String> f6 = new Neg02.Foo<>("", ""); |
39 Foo<?> f7 = new Neg02.Foo<>("", ""); |
49 Foo<?> f7 = new Neg02.Foo<>("", ""); |
40 Foo<? super String> f8 = new Neg02.Foo<>("", ""); |
50 Foo<? super String> f8 = new Neg02.Foo<>("", ""); |
|
51 |
|
52 Foo<String> f9 = new Neg02.Foo<>(""){}; |
|
53 Foo<? extends String> f10 = new Neg02.Foo<>(""){}; |
|
54 Foo<?> f11 = new Neg02.Foo<>(""){}; |
|
55 Foo<? super String> f12 = new Neg02.Foo<>(""){}; |
|
56 |
|
57 Foo<String> f13 = new Neg02.Foo<>("", ""){}; |
|
58 Foo<? extends String> f14 = new Neg02.Foo<>("", ""){}; |
|
59 Foo<?> f15 = new Neg02.Foo<>("", ""){}; |
|
60 Foo<? super String> f16 = new Neg02.Foo<>("", ""){}; |
41 } |
61 } |
42 } |
62 } |