Fixes #1878. Fix type inference in type_inference_A26_t01.dart

LanguageFeatures/Patterns/type_inference_A04_t03.dart

@@ -0,0 +1,36 @@
+// Copyright (c) 2023, 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
+/// The context type schema for a pattern p is:
+/// ...
+/// Identifier:
+/// In an assignment context, the context type schema is the static type of the
+/// variable that p resolves to.
+///
+/// Else the context type schema is _
+///
+/// @description Check that in an assignment context, the context type schema is
+/// the static type of the variable that p resolves to. Test promoted type
+/// @author [email protected]
+
+// SharedOptions=--enable-experiment=patterns,records
+
+main() {
+  num a = 0;
+  a as int;
+  a.isEven;
+  [a] = [3.14]; // [a] infers <int>[3.14] to right hand expression
+//       ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+
+  var c = 2 > 1 ? 42 : 3.14;
+  c as int;
+  c.isEven;
+  {"key1": c} = {"key1": 3.14};
+//                       ^^^^
+// [analyzer] unspecified
+// [cfe] unspecified
+}

LanguageFeatures/Patterns/type_inference_A26_t01.dart

@@ -28,19 +28,19 @@ main() {
   num a = 0;
   a as int;
   a.isEven;
-  [a] = [3.14];
+  [a] = <double>[3.14];
   a.expectStaticType<Exactly<num>>();
 
   var (num b,) = (0,);
   b as int;
   b.isEven;
   (b,) = (3.14,);
-  b.expectStaticType<Exactly<num>>();
+  a.expectStaticType<Exactly<num>>();
 
   var c = 2 > 1 ? 42 : 3.14;
   c.expectStaticType<Exactly<num>>();
   c as int;
   c.isEven;
-  {"key1": c} = {"key1": 3.14};
+  {"key1": c} = <String, double>{"key1": 3.14};
   c.expectStaticType<Exactly<num>>();
 }