IDEA-240631 "Switch label is unreachable" false positive with OptionalInt

GitOrigin-RevId: 0ba6182fe01fc0909883fc098497c91b1a585a57

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaExpressionFactory.java

@@ -120,7 +120,12 @@ public class DfaExpressionFactory {
     }
 
     DfaValue qualifier = getQualifierOrThisValue(refExpr);
-    return var.createValue(myFactory, qualifier, true);
+    DfaValue result = var.createValue(myFactory, qualifier, true);
+    if (var instanceof SpecialField) {
+      PsiType wantedType = refExpr.getType();
+      result = DfaUtil.boxUnbox(result, wantedType);
+    }
+    return result;
   }
 
   /**

java/java-tests/testData/inspection/dataFlow/fixture/OptionalIntSwitch.java

@@ -0,0 +1,21 @@
+import java.util.OptionalInt;
+import java.util.Random;
+
+class OptionalIntSwitch {
+  // IDEA-240631
+  public static void main(String[] args) {
+    OptionalInt opt = OptionalInt.of(new Random().nextInt() % 2);
+
+    switch (opt.getAsInt()) {
+      case 0:
+        System.out.println("zero");
+        break;
+      case 1:
+        System.out.println("one");
+        break;
+      case <warning descr="Switch label '2' is unreachable">2</warning>:
+        System.out.println("two");
+        break;
+    }
+  }
+}

java/java-tests/testSrc/com/intellij/java/codeInspection/DataFlowInspection8Test.java

@@ -42,6 +42,7 @@ public class DataFlowInspection8Test extends DataFlowInspectionTestCase {
   public void testOptionalOfNullable() { doTest(); }
   public void testPrimitiveOptional() { doTest(); }
   public void testOptionalOrElse() { doTest(); }
+  public void testOptionalIntSwitch() { doTest(); }
   public void testOptionalIsPresent() {
     myFixture.addClass("package org.junit;" +
                        "public class Assert {" +