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
|
/*
* @test /nodynamiccopyright/
* @bug 8206986 8254286 8274347
* @summary Check types inferred for switch expressions.
* @compile/fail/ref=ExpressionSwitchInfer.out -XDrawDiagnostics ExpressionSwitchInfer.java
*/
import java.util.ArrayList;
import java.util.List;
public class ExpressionSwitchInfer {
private static final String NULL = "null";
private <T> T test(List<T> l, Class<T> c, String param) {
test(param == NULL ? new ArrayList<>() : new ArrayList<>(), CharSequence.class, param).charAt(0);
test(param == NULL ? new ArrayList<>() : new ArrayList<>(), CharSequence.class, param).substring(0);
test(switch (param) {
case NULL -> new ArrayList<>();
default -> new ArrayList<>();
}, CharSequence.class, param).charAt(0);
test(switch (param) {
case NULL -> new ArrayList<>();
default -> new ArrayList<>();
}, CharSequence.class, param).substring(0);
String str = switch (param) {
case "" -> {
yield 0;
} default ->"default";
};
return null;
}
void bug8254286(I1 i1, I2 i2, int s) {
var t1 = switch (s) {
case 1 -> i1;
case 2 -> null;
default -> i2;
};
t1.m();
var t2 = switch (s) {
case 2 -> null;
case 1 -> i1;
default -> i2;
};
t2.m();
var t3 = switch (s) {
case 1 -> i1;
default -> i2;
case 2 -> null;
};
t3.m();
var t4 = switch (s) {
case 1 -> i1;
default -> null;
};
t4.m();
var t5 = switch (s) {
default -> null;
case 1 -> i1;
};
t5.m();
var t6 = switch (s) {
default -> null;
};
var t7 = switch (s) {
case 1 -> null;
default -> null;
};
var t8 = switch (s) {
case 1 -> null;
case 2 -> null;
default -> null;
};
}
interface I {
void m();
}
interface I1 extends I {}
interface I2 extends I {}
void preflow(int i, int j) {
System.out.println(switch (i) {
case 1 -> switch (j) {
case 1 -> "one and one";
default -> "one and many";
};
case 2 -> "two";
default -> "many";
});
}
}
|
