[java-highlighting] IDEA-353876 Support intersection type for switch selectors

GitOrigin-RevId: 075363ad27e93718b10b79234904eed7ac919436

java/java-analysis-impl/src/com/intellij/codeInsight/daemon/impl/analysis/PatternHighlightingModel.java

@@ -1036,6 +1036,11 @@ final class PatternHighlightingModel {
         .filter(t -> t != null)
         .forEach(t -> selectorTypes.add(t));
     }
+    if (selectorType instanceof PsiIntersectionType psiIntersectionType) {
+      for (PsiType conjunct : psiIntersectionType.getConjuncts()) {
+        selectorTypes.addAll(getAllTypes(conjunct));
+      }
+    }
     if (selectorTypes.isEmpty()) {
       selectorTypes.add(selectorType);
     }

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/advHighlightingPatternsInSwitch/ExhaustivenessWithIntersectionType.java

@@ -0,0 +1,24 @@
+package dfa;
+
+import java.util.Random;
+import java.util.concurrent.CompletableFuture;
+
+public final class ExhaustivenessWithIntersectionType {
+
+  public static void main(String[] ignoredArgs) {
+    CompletableFuture
+      .supplyAsync(() -> new Random().nextBoolean() ? new Result.Success() : new Result.Failure())
+      .thenApply(res ->
+                   switch (res) {
+                     case Result.Success _ -> 1;
+                     case Result.Failure _ -> 2;
+                   })
+      .thenAccept(System.out::println);
+  }
+
+  sealed interface Result {
+    record Success() implements Result { }
+
+    record Failure() implements Result { }
+  }
+}

java/java-tests/testSrc/com/intellij/java/codeInsight/daemon/LightPatternsForSwitchHighlightingTest.java

@@ -214,6 +214,10 @@ public class LightPatternsForSwitchHighlightingTest extends LightJavaCodeInsight
     IdeaTestUtil.withLevel(getModule(), LanguageLevel.JDK_21, this::doTest);
   }
 
+  public void testExhaustivenessWithIntersectionType() {
+    IdeaTestUtil.withLevel(getModule(), LanguageLevel.JDK_22, this::doTest);
+  }
+
   private void doTest() {
     myFixture.configureByFile(getTestName(false) + ".java");
     myFixture.checkHighlighting();