Accept 'case Throwable _'

lahodaj · Dec 15, 2023 · 786805f · 786805f
1 parent ee1e4b6
commit 786805f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java b/src/jdk.compiler/share/classes/com/sun/tools/javac/comp/Attr.java
@@ -1827,7 +1827,8 @@ private void handleSwitch(JCTree switchTree,
                                 unguarded &&
                                 !patternType.isErroneous() &&
                                 types.isSubtype(types.boxedTypeOrType(types.erasure(expectedType)),
-                                                patternType);
+                                                patternType) &&
+                                !c.throwsCase; //TODO: there should be two distinct "unconditional" checks, one for "normal" cases, one for "exceptional" cases
                         if (unconditional) {
                             if (hasUnconditionalPattern) {
                                 log.error(pat.pos(), Errors.DuplicateUnconditionalPattern);