|
1 /* |
|
2 * @test /nodynamiccopyright/ |
|
3 * @bug 6840638 |
|
4 * |
|
5 * @summary Project Coin: Improved Type Inference for Generic Instance Creation (aka 'diamond') |
|
6 * @author mcimadamore |
|
7 * @compile/fail/ref=Neg03.out Neg03.java -source 1.7 -XDrawDiagnostics |
|
8 * |
|
9 */ |
|
10 |
|
11 class Neg03<U> { |
|
12 |
|
13 class Foo<V extends Number> { |
|
14 Foo(V x) {} |
|
15 <Z> Foo(V x, Z z) {} |
|
16 } |
|
17 |
|
18 void testSimple() { |
|
19 Foo<String> f1 = new Foo<>(""); //new Foo<Integer> created |
|
20 Foo<? extends String> f2 = new Foo<>(""); //new Foo<Integer> created |
|
21 Foo<?> f3 = new Foo<>(""); //new Foo<Object> created |
|
22 Foo<? super String> f4 = new Foo<>(""); //new Foo<Object> created |
|
23 |
|
24 Foo<String> f5 = new Foo<>(""){}; //new Foo<Integer> created |
|
25 Foo<? extends String> f6 = new Foo<>(""){}; //new Foo<Integer> created |
|
26 Foo<?> f7 = new Foo<>(""){}; //new Foo<Object> created |
|
27 Foo<? super String> f8 = new Foo<>(""){}; //new Foo<Object> created |
|
28 |
|
29 Foo<String> f9 = new Foo<>("", ""); //new Foo<Integer> created |
|
30 Foo<? extends String> f10 = new Foo<>("", ""); //new Foo<Integer> created |
|
31 Foo<?> f11 = new Foo<>("", ""); //new Foo<Object> created |
|
32 Foo<? super String> f12 = new Foo<>("", ""); //new Foo<Object> created |
|
33 |
|
34 Foo<String> f13 = new Foo<>("", ""){}; //new Foo<Integer> created |
|
35 Foo<? extends String> f14 = new Foo<>("", ""){}; //new Foo<Integer> created |
|
36 Foo<?> f15 = new Foo<>("", ""){}; //new Foo<Object> created |
|
37 Foo<? super String> f16 = new Foo<>("", ""){}; //new Foo<Object> created |
|
38 } |
|
39 |
|
40 void testQualified_1() { |
|
41 Foo<String> f1 = new Neg03<U>.Foo<>(""); //new Foo<Integer> created |
|
42 Foo<? extends String> f2 = new Neg03<U>.Foo<>(""); //new Foo<Integer> created |
|
43 Foo<?> f3 = new Neg03<U>.Foo<>(""); //new Foo<Object> created |
|
44 Foo<? super String> f4 = new Neg03<U>.Foo<>(""); //new Foo<Object> created |
|
45 |
|
46 Foo<String> f5 = new Neg03<U>.Foo<>(""){}; //new Foo<Integer> created |
|
47 Foo<? extends String> f6 = new Neg03<U>.Foo<>(""){}; //new Foo<Integer> created |
|
48 Foo<?> f7 = new Neg03<U>.Foo<>(""){}; //new Foo<Object> created |
|
49 Foo<? super String> f8 = new Neg03<U>.Foo<>(""){}; //new Foo<Object> created |
|
50 |
|
51 Foo<String> f9 = new Neg03<U>.Foo<>("", ""); //new Foo<Integer> created |
|
52 Foo<? extends String> f10 = new Neg03<U>.Foo<>("", ""); //new Foo<Integer> created |
|
53 Foo<?> f11 = new Neg03<U>.Foo<>("", ""); //new Foo<Object> created |
|
54 Foo<? super String> f12 = new Neg03<U>.Foo<>("", ""); //new Foo<Object> created |
|
55 |
|
56 Foo<String> f13 = new Neg03<U>.Foo<>("", ""){}; //new Foo<Integer> created |
|
57 Foo<? extends String> f14 = new Neg03<U>.Foo<>("", ""){}; //new Foo<Integer> created |
|
58 Foo<?> f15 = new Neg03<U>.Foo<>("", ""){}; //new Foo<Object> created |
|
59 Foo<? super String> f16 = new Neg03<U>.Foo<>("", ""){}; //new Foo<Object> created |
|
60 } |
|
61 |
|
62 void testQualified_2(Neg03<U> n) { |
|
63 Foo<String> f1 = n.new Foo<>(""); //new Foo<Integer> created |
|
64 Foo<? extends String> f2 = n.new Foo<>(""); //new Foo<Integer> created |
|
65 Foo<?> f3 = n.new Foo<>(""); //new Foo<Integer> created |
|
66 Foo<? super String> f4 = n.new Foo<>(""); //new Foo<Integer> created |
|
67 |
|
68 Foo<String> f5 = n.new Foo<>(""){}; //new Foo<Integer> created |
|
69 Foo<? extends String> f6 = n.new Foo<>(""){}; //new Foo<Integer> created |
|
70 Foo<?> f7 = n.new Foo<>(""){}; //new Foo<Integer> created |
|
71 Foo<? super String> f8 = n.new Foo<>(""){}; //new Foo<Integer> created |
|
72 |
|
73 Foo<String> f9 = n.new Foo<>("", ""); //new Foo<Integer> created |
|
74 Foo<? extends String> f10 = n.new Foo<>("", ""); //new Foo<Integer> created |
|
75 Foo<?> f11 = n.new Foo<>("", ""); //new Foo<Integer> created |
|
76 Foo<? super String> f12 = n.new Foo<>("", ""); //new Foo<Integer> created |
|
77 |
|
78 Foo<String> f13 = n.new Foo<>("", ""){}; //new Foo<Integer> created |
|
79 Foo<? extends String> f14 = n.new Foo<>("", ""){}; //new Foo<Integer> created |
|
80 Foo<?> f15 = n.new Foo<>("", ""){}; //new Foo<Integer> created |
|
81 Foo<? super String> f16 = n.new Foo<>("", ""){}; //new Foo<Integer> created |
|
82 } |
|
83 } |