#3057. Remove obsolete promotion_via_initialization_* tests

TypeSystem/flow-analysis/promotion_via_assignment_A05_t01.dart

@@ -0,0 +1,52 @@
+// 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 We say that a variable `x` is promotable via assignment of an
+/// expression of type `T` given variable model `VM` if
+/// - `VM = VariableModel(declared, promoted, tested, assigned, unassigned,
+///     captured)`
+/// - and captured is false
+/// - and `S` is the current type of `x` in `VM`
+/// - and `T <: S` and not `S <: T`
+/// - and `T` is a type of interest for `x` in `tested`
+///
+/// @description Checks that if the type of a variable is not specified and
+/// there is no initializer or is `dynamic` then it can be promoted via
+/// assignment.
+/// @author [email protected]
+
+class S {}
+
+class T extends S {
+  int foo() => 42;
+}
+
+test1() {
+  var x;
+  x = S();
+  if (x is T) {} // Make `T` a type of interest
+  x = T();
+  x.foo();
+  x.bar(); // x is not `dynamic`
+//  ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+test2() {
+  dynamic x;
+  x = S();
+  if (x is T) {}
+  x = T();
+  x.foo();
+  x.bar();
+//  ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}
+
+main() {
+  print(test1);
+  print(test2);
+}

TypeSystem/flow-analysis/promotion_via_assignment_A05_t02.dart

@@ -0,0 +1,34 @@
+// 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 We say that a variable `x` is promotable via assignment of an
+/// expression of type `T` given variable model `VM` if
+/// - `VM = VariableModel(declared, promoted, tested, assigned, unassigned,
+///     captured)`
+/// - and captured is false
+/// - and `S` is the current type of `x` in `VM`
+/// - and `T <: S` and not `S <: T`
+/// - and `T` is a type of interest for `x` in `tested`
+///
+/// @description Checks that if the type of a variable is not specified and
+/// there is an initializer then its type is inferred from the initializing
+/// expression.
+/// @author [email protected]
+
+class S {}
+
+class T extends S {
+  int foo() => 42;
+}
+
+main() {
+  var x = S();
+  if (x is T) {} // Make `T` a type of interest
+  x = T();
+  x.foo();
+  x.bar();  // Check that `x` is not `dynamic`
+//  ^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}