-
Type:
Bug
-
Resolution: Fixed
-
Priority:
P4
-
Affects Version/s: None
-
Component/s: tools
-
b10
| Issue | Fix Version | Assignee | Priority | Status | Resolution | Resolved In Build |
|---|---|---|---|---|---|---|
| JDK-8303346 | 20.0.2 | Jan Lahoda | P4 | Resolved | Fixed | b01 |
| JDK-8303228 | 20.0.1 | Jan Lahoda | P4 | Resolved | Fixed | b08 |
Fails with verification error:
public static int runCheckExpressionWithUnconditionalAndParams(R1 r) {
switch (r) {
case R1(Integer i):
return meth_I(i);
case R1(Object o):
return meth_O(o); // problematic case
}
}
public static int meth_I(Integer i) { return 1; }
public static int meth_O(Object o) { return 2;}
public static int runCheckExpressionWithUnconditionalAndParams(R1 r) {
switch (r) {
case R1(Integer i):
return meth_I(i);
case R1(Object o):
return meth_O(o); // problematic case
}
}
public static int meth_I(Integer i) { return 1; }
public static int meth_O(Object o) { return 2;}
- backported by
-
JDK-8303228 Verification error when compiling switch with record patterns
-
- Resolved
-
-
-
- Resolved
-
- duplicates
-
-
- Closed
-
- links to
-
Commit
openjdk/jdk20u/cc33209f
-
Commit
openjdk/jdk/3b05a94c
-
Review
openjdk/jdk20u/6
-
Review
openjdk/jdk/12438
(2 links to)