#3057. Add more tests for promotion in switch

TypeSystem/flow-analysis/promotion_switch_A05_t01.dart

@@ -24,16 +24,6 @@ test1(Object? x) {
 }
 
 test2(Object? x) {
-  switch (x) {
-    case num v:
-    case int _: // ignore: unreachable_switch_case
-      x.expectStaticType<Exactly<Object?>>();
-    case _:
-      x.expectStaticType<Exactly<Object?>>();
-  }
-}
-
-test3(Object? x) {
   switch (x) {
     case int v:
     case num v:
@@ -43,17 +33,7 @@ test3(Object? x) {
   }
 }
 
-test4(Object? x) {
-  switch (x) {
-    case num v:
-    case int v: // ignore: unreachable_switch_case
-      x.expectStaticType<Exactly<Object?>>();
-    case _:
-      x.expectStaticType<Exactly<Object?>>();
-  }
-}
-
-test5(Object? x) {
+test3(Object? x) {
   switch (x) {
     case int _:
     case num _:
@@ -63,27 +43,11 @@ test5(Object? x) {
   }
 }
 
-test6(Object? x) {
-  switch (x) {
-    case num _:
-    case int _: // ignore: unreachable_switch_case
-      x.expectStaticType<Exactly<Object?>>();
-    case _:
-      x.expectStaticType<Exactly<Object?>>();
-  }
-}
-
 main() {
   test1(1);
   test1(null);
   test2(1);
   test2(null);
   test3(1);
   test3(null);
-  test4(1);
-  test4(null);
-  test5(1);
-  test5(null);
-  test6(1);
-  test6(null);
 }

TypeSystem/flow-analysis/promotion_switch_A05_t04.dart

@@ -0,0 +1,55 @@
+// Copyright (c) 2025, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+/// @assertion For now (May, 2025) promotion in switch statement and
+/// expressions are not specified yet. Informal spec:
+/// https://github.com/dart-lang/co19/pull/3169#issuecomment-2885167786
+/// TODO (sgrekhov): update when specified
+///
+/// @description Checks that pattern match doesn't promote the variable when a
+/// case scope is shared and cases have different types.
+/// @author [email protected]
+
+import '../../Utils/static_type_helper.dart';
+
+test1(Object? x) {
+  if (x is Object) {
+    switch (x) {
+      case int v:
+      case num _:
+        x.expectStaticType<Exactly<Object>>();
+      case _:
+        x.expectStaticType<Exactly<Object>>();
+    }
+  }
+}
+
+test2(Object? x) {
+  switch (x) {
+    case num _ && int v:
+    case Object _ && int v: // ignore: unreachable_switch_case
+      x.expectStaticType<Exactly<int>>();
+    case _:
+      x.expectStaticType<Exactly<Object?>>();
+  }
+}
+
+test3(Object? x) {
+  switch (x) {
+    case num _ && int v:
+    case Object v && num _: // ignore: unreachable_switch_case
+      x.expectStaticType<Exactly<num>>();
+    case _:
+      x.expectStaticType<Exactly<Object?>>();
+  }
+}
+
+main() {
+  test1(1);
+  test1(null);
+  test2(1);
+  test2(null);
+  test3(1);
+  test3(null);
+}