Mon, 24 Jan 2011 15:44:51 +0000
6968793: issues with diagnostics
Summary: several diagnostic improvements
Reviewed-by: jjg
1 /*
2 * @test /nodynamiccopyright/
3 * @bug 6939620
4 *
5 * @summary Switch to 'complex' diamond inference scheme
6 * @author mcimadamore
7 * @compile/fail/ref=Neg01.out Neg01.java -XDrawDiagnostics
8 *
9 */
11 class Neg01<X extends Number> {
13 Neg01(X x) {}
15 <Z> Neg01(X x, Z z) {}
17 void test() {
18 Neg01<String> n1 = new Neg01<>("");
19 Neg01<? extends String> n2 = new Neg01<>("");
20 Neg01<?> n3 = new Neg01<>("");
21 Neg01<? super String> n4 = new Neg01<>("");
23 Neg01<String> n5 = new Neg01<>(""){};
24 Neg01<? extends String> n6 = new Neg01<>(""){};
25 Neg01<?> n7 = new Neg01<>(""){};
26 Neg01<? super String> n8 = new Neg01<>(""){};
28 Neg01<String> n9 = new Neg01<>("", "");
29 Neg01<? extends String> n10 = new Neg01<>("", "");
30 Neg01<?> n11 = new Neg01<>("", "");
31 Foo<? super String> n12 = new Neg01<>("", "");
33 Neg01<String> n13 = new Neg01<>("", ""){};
34 Neg01<? extends String> n14 = new Neg01<>("", ""){};
35 Neg01<?> n15 = new Neg01<>("", ""){};
36 Neg01<? super String> n16 = new Neg01<>("", ""){};
37 }
38 }