1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
/*
* @test /nodynamiccopyright/
* @bug 8304246 8309093
* @summary Compiler Implementation for Unnamed patterns and variables
* @compile/fail/ref=UnnamedErrors.out -XDrawDiagnostics -XDshould-stop.at=FLOW UnnamedErrors.java
*/
public class UnnamedErrors {
private int _; // error
private int _, x; // error
private int x, _, y, _, z, _; // error
private int _ = 0, _ = 1; // error
private int a = 0, _ = 1; // error
record R(int _) {} //no record components
UnnamedErrors(int _) {} //no constructor parameters
void test(int _) {} //no method parameters
record RR(int x) {}
void test2() {
Object o = Integer.valueOf(42);
if (o instanceof _) {} //no top level
if (o instanceof _(int x)) {} //no record pattern head
switch (o) {
case _:
System.out.println("no underscore top level");
default:
System.out.println("");
}
switch (o) {
case var _:
System.out.println("no var _ top level");
default:
System.out.println("");
}
}
void dominanceError(Object o) {
switch (o) {
case Number _ ->
System.out.println("A Number");
case Integer _, String _ -> // Error - dominated case pattern: `Integer _`
System.out.println("An Integer or a String");
default ->
System.out.println("rest");
}
}
void mixedNamedUnnamedError(Object o) {
switch (o) {
case Integer i, String _ ->
System.out.println("named/unnamed");
default ->
System.out.println("rest");
}
switch (o) {
case Integer _, String s ->
System.out.println("unnamed/named");
default ->
System.out.println("rest");
}
switch (o) {
case PairIS(_, _), String s ->
System.out.println("unnamed patterns/named");
default ->
System.out.println("rest");
}
}
private void test1() {
try (Lock _ = null) {
} catch (_) { }
}
int guardErrors(Object o, int x1, int x2) {
return switch (o) {
case Integer _ when x1 == 2, String _ when x2 == 1 -> 1;
default -> 2;
};
}
int testMixVarWithExplicitDominanceError(Box<?> t) {
int success = -1;
success = switch(t) {
case Box(var _), Box(R2 _) : {
yield 1;
}
default : {
yield -2;
}
};
return success;
}
void testUnderscoreWithoutInitializer() {
int _;
int x1 = 1, _, x2;
for (int x = 1, _; x<=1; x++) {
}
}
void testUnderscoreWithBrackets() {
int _[] = new int[]{1};
for (int _[] : new int[][]{new int[]{1}, new int[]{2}}) { }
}
void testUnderscoreInExpression() {
for(String s : _) {
int i = 1;
}
}
class Lock implements AutoCloseable {
@Override
public void close() {}
}
record PairIS(int i, String s) {}
sealed abstract class Base permits R1, R2 { }
final class R1 extends Base { }
final class R2 extends Base { }
record Box<T extends Base>(T content) { }
}
|
