MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-04-18 12:31:26 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-inspections] Switch label is unreachable: false positive when there is a compile-time error

Browse Source 
IDEA-310689

GitOrigin-RevId: 59eba93e68bf67c3d769e8e03eac31daac84a17c
This commit is contained in:
Andrey Cherkasov
2023-01-17 13:35:18 +04:00
committed by intellij-monorepo-bot
parent fd5ea2915e
commit 9672b771d4
3 changed files with 15 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/SwitchBlockHighlightingModel.java
View File

@@ -1246,7 +1246,8 @@ public class SwitchBlockHighlightingModel {
List<PsiCaseLabelElement> dominanceCheckingCandidates = new SmartList<>();
labelElements.forEach(label -> PatternsInSwitchBlockHighlightingModel.fillElementsToCheckDominance(dominanceCheckingCandidates, label));
if (dominanceCheckingCandidates.isEmpty()) return result;
return StreamEx.ofKeys(patternInSwitchModel.findDominatedLabels(dominanceCheckingCandidates), value -> value instanceof PsiPattern)
return StreamEx.ofKeys(patternInSwitchModel.findDominatedLabels(dominanceCheckingCandidates), value -> value instanceof PsiPattern ||
value instanceof PsiPatternGuard)
.into(result);
}
}