From 1f55c4ce321e15852f5548e08d12bbbf2e003ed5 Mon Sep 17 00:00:00 2001
From: Chloe Stefantsova <cstefantsova@google.com>
Date: Thu, 22 Dec 2022 11:25:05 +0000
Subject: [PATCH] [cfe] Add desugaring of non-matching rest pattern

Closes https://github.com/dart-lang/sdk/issues/50797

Part of https://github.com/dart-lang/sdk/issues/49749

Change-Id: Ide77d1ee262f8778de7eb8743b04508ee290ee10
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/276940
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
---
 .../lib/src/fasta/kernel/body_builder.dart    |   8 +
 .../lib/src/fasta/kernel/internal_ast.dart    | 146 +++++++++++++++---
 .../type_inference/inference_visitor.dart     |   5 +
 .../cast_inside_if_case.dart.strong.expect    |   6 +-
 ...ide_if_case.dart.strong.transformed.expect |   6 +-
 .../cast_inside_if_case.dart.weak.expect      |   6 +-
 ...st_inside_if_case.dart.weak.modular.expect |   6 +-
 ...nside_if_case.dart.weak.transformed.expect |   6 +-
 ...ast_inside_list_pattern.dart.strong.expect |   2 +-
 ...ist_pattern.dart.strong.transformed.expect |   2 +-
 .../cast_inside_list_pattern.dart.weak.expect |   2 +-
 ...side_list_pattern.dart.weak.modular.expect |   2 +-
 ..._list_pattern.dart.weak.transformed.expect |   2 +-
 ...ist_pattern_inside_case.dart.strong.expect |   2 +-
 ...inside_case.dart.strong.transformed.expect |   2 +-
 .../list_pattern_inside_case.dart.weak.expect |   2 +-
 ...ttern_inside_case.dart.weak.modular.expect |   2 +-
 ...n_inside_case.dart.weak.transformed.expect |   2 +-
 ...ttern_inside_case_empty.dart.strong.expect |   2 +-
 ..._case_empty.dart.strong.transformed.expect |   2 +-
 ...pattern_inside_case_empty.dart.weak.expect |   2 +-
 ...inside_case_empty.dart.weak.modular.expect |   2 +-
 ...de_case_empty.dart.weak.transformed.expect |   2 +-
 ...e_case_empty_whitespace.dart.strong.expect |   2 +-
 ..._whitespace.dart.strong.transformed.expect |   2 +-
 ...ide_case_empty_whitespace.dart.weak.expect |   2 +-
 ..._empty_whitespace.dart.weak.modular.expect |   2 +-
 ...ty_whitespace.dart.weak.transformed.expect |   2 +-
 ...ase_with_type_arguments.dart.strong.expect |   2 +-
 ...e_arguments.dart.strong.transformed.expect |   2 +-
 ..._case_with_type_arguments.dart.weak.expect |   2 +-
 ...th_type_arguments.dart.weak.modular.expect |   2 +-
 ...ype_arguments.dart.weak.transformed.expect |   2 +-
 ...ist_pattern_inside_cast.dart.strong.expect |   2 +-
 ...inside_cast.dart.strong.transformed.expect |   2 +-
 .../list_pattern_inside_cast.dart.weak.expect |   2 +-
 ...ttern_inside_cast.dart.weak.modular.expect |   2 +-
 ...n_inside_cast.dart.weak.transformed.expect |   2 +-
 ..._pattern_inside_if_case.dart.strong.expect |  32 ++--
 ...ide_if_case.dart.strong.transformed.expect |  32 ++--
 ...st_pattern_inside_if_case.dart.weak.expect |  32 ++--
 ...rn_inside_if_case.dart.weak.modular.expect |  32 ++--
 ...nside_if_case.dart.weak.transformed.expect |  32 ++--
 ...tern_inside_null_assert.dart.strong.expect |   2 +-
 ...null_assert.dart.strong.transformed.expect |   2 +-
 ...attern_inside_null_assert.dart.weak.expect |   2 +-
 ...nside_null_assert.dart.weak.modular.expect |   2 +-
 ...e_null_assert.dart.weak.transformed.expect |   2 +-
 ...ttern_inside_null_check.dart.strong.expect |   2 +-
 ..._null_check.dart.strong.transformed.expect |   2 +-
 ...pattern_inside_null_check.dart.weak.expect |   2 +-
 ...inside_null_check.dart.weak.modular.expect |   2 +-
 ...de_null_check.dart.weak.transformed.expect |   2 +-
 ...gical_or_inside_if_case.dart.strong.expect |   4 +-
 ...ide_if_case.dart.strong.transformed.expect |   4 +-
 ...logical_or_inside_if_case.dart.weak.expect |   4 +-
 ...or_inside_if_case.dart.weak.modular.expect |   4 +-
 ...nside_if_case.dart.weak.transformed.expect |   4 +-
 ...esses_list_element_once.dart.strong.expect |   2 +-
 ...lement_once.dart.strong.transformed.expect |   2 +-
 ...ccesses_list_element_once.dart.weak.expect |   2 +-
 ...list_element_once.dart.weak.modular.expect |   2 +-
 ..._element_once.dart.weak.transformed.expect |   2 +-
 ...ert_inside_list_pattern.dart.strong.expect |   2 +-
 ...ist_pattern.dart.strong.transformed.expect |   2 +-
 ...ssert_inside_list_pattern.dart.weak.expect |   2 +-
 ...side_list_pattern.dart.weak.modular.expect |   2 +-
 ..._list_pattern.dart.weak.transformed.expect |   2 +-
 ...eck_inside_list_pattern.dart.strong.expect |   2 +-
 ...ist_pattern.dart.strong.transformed.expect |   2 +-
 ...check_inside_list_pattern.dart.weak.expect |   2 +-
 ...side_list_pattern.dart.weak.modular.expect |   2 +-
 ..._list_pattern.dart.weak.transformed.expect |   2 +-
 ...nal_inside_list_pattern.dart.strong.expect |   2 +-
 ...ist_pattern.dart.strong.transformed.expect |   2 +-
 ...ional_inside_list_pattern.dart.weak.expect |   2 +-
 ...side_list_pattern.dart.weak.modular.expect |   2 +-
 ..._list_pattern.dart.weak.transformed.expect |   2 +-
 .../patterns/simple_rest_pattern.dart         |  50 ++++++
 .../simple_rest_pattern.dart.strong.expect    |  86 +++++++++++
 ...est_pattern.dart.strong.transformed.expect |  86 +++++++++++
 ...e_rest_pattern.dart.textual_outline.expect |   5 +
 ...ttern.dart.textual_outline_modelled.expect |   5 +
 .../simple_rest_pattern.dart.weak.expect      |  86 +++++++++++
 ...mple_rest_pattern.dart.weak.modular.expect |  86 +++++++++++
 ...mple_rest_pattern.dart.weak.outline.expect |  13 ++
 ..._rest_pattern.dart.weak.transformed.expect |  86 +++++++++++
 .../patterns/simple_runtime_test.dart         |   5 +-
 .../simple_runtime_test.dart.strong.expect    |   7 +-
 ...untime_test.dart.strong.transformed.expect |   7 +-
 .../simple_runtime_test.dart.weak.expect      |   7 +-
 ...mple_runtime_test.dart.weak.modular.expect |   7 +-
 ..._runtime_test.dart.weak.transformed.expect |   7 +-
 .../patterns/simple_switch.dart.strong.expect |   2 +-
 ...mple_switch.dart.strong.transformed.expect |   2 +-
 .../patterns/simple_switch.dart.weak.expect   |   2 +-
 .../simple_switch.dart.weak.modular.expect    |   2 +-
 ...simple_switch.dart.weak.transformed.expect |   2 +-
 ..._as_inside_list_pattern.dart.strong.expect |   2 +-
 ...ist_pattern.dart.strong.transformed.expect |   2 +-
 ...ed_as_inside_list_pattern.dart.weak.expect |   2 +-
 ...side_list_pattern.dart.weak.modular.expect |   2 +-
 ..._list_pattern.dart.weak.transformed.expect |   2 +-
 ...s_inside_logical_or_lhs.dart.strong.expect |   2 +-
 ...ical_or_lhs.dart.strong.transformed.expect |   2 +-
 ..._as_inside_logical_or_lhs.dart.weak.expect |   2 +-
 ...de_logical_or_lhs.dart.weak.modular.expect |   2 +-
 ...ogical_or_lhs.dart.weak.transformed.expect |   2 +-
 108 files changed, 851 insertions(+), 211 deletions(-)
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.transformed.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline_modelled.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.modular.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.outline.expect
 create mode 100644 pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.transformed.expect

diff --git a/pkg/front_end/lib/src/fasta/kernel/body_builder.dart b/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
index 8b6d0000da5..cc1e5e06b7d 100644
--- a/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/body_builder.dart
@@ -8388,6 +8388,14 @@ class BodyBuilder extends StackListenerImpl
     }
   }
 
+  @override
+  void handleRestPattern(Token dots, {required bool hasSubPattern}) {
+    debugEvent("RestPattern");
+
+    // TODO(cstefantsova): Handle the case of a present sub-pattern.
+    push(new RestPattern(dots.charOffset));
+  }
+
   @override
   void handleRelationalPattern(Token token) {
     debugEvent("RelationalPattern");
diff --git a/pkg/front_end/lib/src/fasta/kernel/internal_ast.dart b/pkg/front_end/lib/src/fasta/kernel/internal_ast.dart
index b1e4454a20b..507377df237 100644
--- a/pkg/front_end/lib/src/fasta/kernel/internal_ast.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/internal_ast.dart
@@ -4413,21 +4413,49 @@ class ListPattern extends Pattern {
             greaterThanOrEqualsName,
             fileOffset,
             callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
+    ObjectAccessTarget equalsTarget = inferenceVisitor.findInterfaceMember(
+        inferenceVisitor.coreTypes.intNonNullableRawType,
+        equalsName,
+        fileOffset,
+        callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
 
-    // greaterThanOrEqualsInvocation: `lengthGet` >= `patterns.length`
-    //   ==> LVAR.length >= `patterns.length`
-    Expression greaterThanOrEqualsInvocation = new InstanceInvocation(
-        InstanceAccessKind.Instance,
-        lengthGet,
-        greaterThanOrEqualsName,
-        inferenceVisitor.engine.forest.createArguments(fileOffset, [
-          inferenceVisitor.engine.forest
-              .createIntLiteral(fileOffset, patterns.length)
-        ]),
-        functionType:
-            greaterThanOrEqualsTarget.getFunctionType(inferenceVisitor),
-        interfaceTarget: greaterThanOrEqualsTarget.member as Procedure)
-      ..fileOffset = fileOffset;
+    Expression lengthCheck;
+    bool hasRestPattern = false;
+    for (Pattern pattern in patterns) {
+      if (pattern is RestPattern) {
+        hasRestPattern = true;
+        break;
+      }
+    }
+    if (hasRestPattern) {
+      // lengthCheck: `lengthGet` >= `patterns.length - 1`
+      //   ==> LVAR.length >= `patterns.length - 1`
+      lengthCheck = new InstanceInvocation(
+          InstanceAccessKind.Instance,
+          lengthGet,
+          greaterThanOrEqualsName,
+          inferenceVisitor.engine.forest.createArguments(fileOffset, [
+            inferenceVisitor.engine.forest
+                .createIntLiteral(fileOffset, patterns.length - 1)
+          ]),
+          functionType:
+              greaterThanOrEqualsTarget.getFunctionType(inferenceVisitor),
+          interfaceTarget: greaterThanOrEqualsTarget.member as Procedure)
+        ..fileOffset = fileOffset;
+    } else {
+      // lengthCheck: `lengthGet` == `patterns.length`
+      lengthCheck = new InstanceInvocation(
+          InstanceAccessKind.Instance,
+          lengthGet,
+          equalsName,
+          inferenceVisitor.engine.forest.createArguments(fileOffset, [
+            inferenceVisitor.engine.forest
+                .createIntLiteral(fileOffset, patterns.length)
+          ]),
+          functionType: equalsTarget.getFunctionType(inferenceVisitor),
+          interfaceTarget: equalsTarget.member as Procedure)
+        ..fileOffset = fileOffset;
+    }
 
     // typeAndLengthCheck: `listVariable` is `targetListType`
     //     && `greaterThanOrEqualsInvocation`
@@ -4445,11 +4473,15 @@ class ListPattern extends Pattern {
                   targetListType,
                   forNonNullableByDefault: false),
               doubleAmpersandName.text,
-              greaterThanOrEqualsInvocation);
+              lengthCheck);
     } else {
-      typeAndLengthCheck = greaterThanOrEqualsInvocation;
+      typeAndLengthCheck = lengthCheck;
     }
 
+    ObjectAccessTarget intSubtraction = inferenceVisitor.findInterfaceMember(
+        inferenceVisitor.coreTypes.intNonNullableRawType, minusName, fileOffset,
+        callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
+
     ObjectAccessTarget elementAccess = inferenceVisitor.findInterfaceMember(
         targetListType, indexGetName, fileOffset,
         callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
@@ -4458,17 +4490,58 @@ class ListPattern extends Pattern {
     PatternTransformationResult transformationResult =
         new PatternTransformationResult([]);
     List<VariableDeclaration> elementAccessVariables = [];
+    bool hasSeenRestPattern = false;
     for (int i = 0; i < patterns.length; i++) {
-      // listElement: `listVariable`[`i`]
-      //   ==> LVAR[`i`]
+      if (patterns[i] is RestPattern) {
+        hasSeenRestPattern = true;
+        continue;
+      }
+
+      Expression elementIndex;
+      if (!hasSeenRestPattern) {
+        // elementIndex: `i`
+        elementIndex =
+            inferenceVisitor.engine.forest.createIntLiteral(fileOffset, i);
+      } else {
+        // elementIndex: `listVariable`.length - `patterns.length - i`
+        //   ==> LVAR.length - `patterns.length - i`
+
+        // lengthGet: `listVariable`.length ==> LVAR.length
+        Expression lengthGet = new InstanceGet(
+            InstanceAccessKind.Instance,
+            inferenceVisitor.engine.forest
+                .createVariableGet(fileOffset, listVariable)
+              ..promotedType =
+                  typeCheckForTargetListNeeded ? targetListType : null,
+            lengthName,
+            resultType: lengthTarget.getGetterType(inferenceVisitor),
+            interfaceTarget: lengthTarget.member as Procedure)
+          ..fileOffset = fileOffset;
+
+        // elementIndex: `lengthGet` - `patterns.length - i`
+        //   ==> LVAR.length - `patterns.length - i`
+        elementIndex = new InstanceInvocation(
+            InstanceAccessKind.Instance,
+            lengthGet,
+            minusName,
+            inferenceVisitor.engine.forest.createArguments(fileOffset, [
+              inferenceVisitor.engine.forest
+                  .createIntLiteral(fileOffset, patterns.length - i)
+            ]),
+            interfaceTarget: intSubtraction.member as Procedure,
+            functionType: intSubtraction.getFunctionType(inferenceVisitor));
+      }
+
+      // listElement: `listVariable`[`elementIndex`]
+      //   ==> LVAR[`elementIndex`]
       Expression listElement = new InstanceInvocation(
           InstanceAccessKind.Instance,
           inferenceVisitor.engine.forest
               .createVariableGet(fileOffset, listVariable)
             ..promotedType = targetListType,
           indexGetName,
-          inferenceVisitor.engine.forest.createArguments(fileOffset,
-              [inferenceVisitor.engine.forest.createIntLiteral(fileOffset, i)]),
+          inferenceVisitor.engine.forest
+              .createArguments(fileOffset, [elementIndex]),
           functionType: elementAccessFunctionType,
           interfaceTarget: elementAccess.member as Procedure);
 
@@ -5544,6 +5617,39 @@ class VariablePattern extends Pattern {
   }
 }
 
+class RestPattern extends Pattern {
+  RestPattern(int fileOffset) : super(fileOffset);
+
+  @override
+  PatternInferenceResult acceptInference(InferenceVisitorImpl visitor,
+      {required SharedMatchContext context}) {
+    return visitor.visitRestPattern(this, context: context);
+  }
+
+  @override
+  List<VariableDeclaration> get declaredVariables => const [];
+
+  @override
+  void toTextInternal(AstPrinter printer) {
+    printer.write('...');
+  }
+
+  @override
+  String toString() {
+    return "RestPattern(${toStringInternal()}";
+  }
+
+  @override
+  PatternTransformationResult transform(
+      Expression matchedExpression,
+      DartType matchedType,
+      Expression variableInitializingContext,
+      InferenceVisitorBase inferenceVisitor) {
+    return unsupported(
+        "RestPattern.transform", fileOffset, inferenceVisitor.helper.uri);
+  }
+}
+
 enum PatternTransformationElementKind {
   regular,
   logicalOrPatternLeftBegin,
diff --git a/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart b/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
index 1b126088ba3..4b6db3f2a78 100644
--- a/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
@@ -9131,6 +9131,11 @@ class InferenceVisitorImpl extends InferenceVisitorBase
     return const PatternInferenceResult();
   }
 
+  PatternInferenceResult visitRestPattern(RestPattern pattern,
+      {required SharedMatchContext context}) {
+    return const PatternInferenceResult();
+  }
+
   PatternInferenceResult visitRelationalPattern(
     RelationalPattern pattern, {
     required SharedMatchContext context,
diff --git a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.expect b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.expect
index ca3a297c582..ffc4573f16d 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.expect
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t3 = x;
   final dynamic #t4 = #t3;
-  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
     {
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t7 = x;
   final dynamic #t8 = #t7;
-  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
     final core::List<core::bool> #t12 = #t11;
-    if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
         {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.transformed.expect
index ca3a297c582..ffc4573f16d 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.transformed.expect
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t3 = x;
   final dynamic #t4 = #t3;
-  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
     {
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t7 = x;
   final dynamic #t8 = #t7;
-  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
     final core::List<core::bool> #t12 = #t11;
-    if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
         {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.expect b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.expect
index ca3a297c582..ffc4573f16d 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.expect
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t3 = x;
   final dynamic #t4 = #t3;
-  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
     {
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t7 = x;
   final dynamic #t8 = #t7;
-  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
     final core::List<core::bool> #t12 = #t11;
-    if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
         {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.modular.expect
index ca3a297c582..ffc4573f16d 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.modular.expect
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t3 = x;
   final dynamic #t4 = #t3;
-  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
     {
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t7 = x;
   final dynamic #t8 = #t7;
-  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
     final core::List<core::bool> #t12 = #t11;
-    if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
         {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.transformed.expect
index ca3a297c582..ffc4573f16d 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.transformed.expect
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t3 = x;
   final dynamic #t4 = #t3;
-  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
     {
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
   }
   final dynamic #t7 = x;
   final dynamic #t8 = #t7;
-  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
     final core::List<core::bool> #t12 = #t11;
-    if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
         {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.expect
index f3cfd8d5871..61e7cfe2d1f 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
         if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.transformed.expect
index f3cfd8d5871..61e7cfe2d1f 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
         if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.expect
index f3cfd8d5871..61e7cfe2d1f 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
         if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.modular.expect
index f3cfd8d5871..61e7cfe2d1f 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
         if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.transformed.expect
index f3cfd8d5871..61e7cfe2d1f 100644
--- a/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
         if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.expect
index 0a7fd21f073..36a2ebc21e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.transformed.expect
index 0a7fd21f073..36a2ebc21e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.expect
index 0a7fd21f073..36a2ebc21e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.modular.expect
index 0a7fd21f073..36a2ebc21e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.transformed.expect
index 0a7fd21f073..36a2ebc21e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.transformed.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.modular.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.transformed.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.transformed.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.modular.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.transformed.expect
index f68516556e6..7805f5d9bc1 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
         #t2 = 0;
         #t3 = true;
       }
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.expect
index 90693067947..0f38fb1a7ec 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
         final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
         if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.transformed.expect
index 90693067947..0f38fb1a7ec 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
         final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
         if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.expect
index 90693067947..0f38fb1a7ec 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
         final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
         if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.modular.expect
index 90693067947..0f38fb1a7ec 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
         final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
         if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.transformed.expect
index 90693067947..0f38fb1a7ec 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+      if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
         final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
         final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
         if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.expect
index 20d8346d70c..02ef03b6385 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
       final core::Object #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.transformed.expect
index 3b3f790375e..0c730f10c98 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final core::Object #t4 = let dynamic #t5 = #t1 in #t5 == null ?{core::Object} #t5 as{ForNonNullableByDefault} core::Object : #t5{core::Object};
       final core::Object #t6 = #t4;
-      if(#t6 is core::List<dynamic> && #t6{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t6 is core::List<dynamic> && #t6{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t7 = #t6{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t7 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.expect
index 20d8346d70c..02ef03b6385 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
       final core::Object #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.modular.expect
index 20d8346d70c..02ef03b6385 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.modular.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
       final core::Object #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.transformed.expect
index e03a3ca91a1..6eb79eab64c 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final core::Object #t4 = #t1;
       final core::Object #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.expect
index ca3b779cb10..a2a1447df5f 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.expect
@@ -5,7 +5,7 @@ import "dart:core" as core;
 static method test1(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final dynamic #t2 = #t1;
-  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t6 = x;
   final dynamic #t7 = #t6;
-  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t13 = x;
   final dynamic #t14 = #t13;
-  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t17 = #t15;
-    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t21 = x;
   final dynamic #t22 = #t21;
-  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t24 = #t23;
-    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t26 = #t25;
-      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t28 = #t27;
         if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
   final dynamic #t30 = #t29;
   if(!(#t30 == null)) {
     final dynamic #t31 = #t30;
-    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
 static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t35 = x;
   final core::List<core::Object?> #t36 = #t35;
-  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t40 = x;
   final core::List<core::Object?> #t41 = #t40;
-  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t47 = x;
   final core::List<core::Object?> #t48 = #t47;
-  if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t51 = #t49;
-    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t55 = x;
   final core::List<core::Object?> #t56 = #t55;
-  if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t58 = #t57;
-    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t60 = #t59;
-      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t62 = #t61;
         if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t64 = #t63;
   if(!(#t64 == null)) {
     final core::List<core::Object?> #t65 = #t64;
-    if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.transformed.expect
index ca3b779cb10..a2a1447df5f 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.transformed.expect
@@ -5,7 +5,7 @@ import "dart:core" as core;
 static method test1(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final dynamic #t2 = #t1;
-  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t6 = x;
   final dynamic #t7 = #t6;
-  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t13 = x;
   final dynamic #t14 = #t13;
-  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t17 = #t15;
-    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t21 = x;
   final dynamic #t22 = #t21;
-  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t24 = #t23;
-    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t26 = #t25;
-      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t28 = #t27;
         if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
   final dynamic #t30 = #t29;
   if(!(#t30 == null)) {
     final dynamic #t31 = #t30;
-    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
 static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t35 = x;
   final core::List<core::Object?> #t36 = #t35;
-  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t40 = x;
   final core::List<core::Object?> #t41 = #t40;
-  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t47 = x;
   final core::List<core::Object?> #t48 = #t47;
-  if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t51 = #t49;
-    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t55 = x;
   final core::List<core::Object?> #t56 = #t55;
-  if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t58 = #t57;
-    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t60 = #t59;
-      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t62 = #t61;
         if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t64 = #t63;
   if(!(#t64 == null)) {
     final core::List<core::Object?> #t65 = #t64;
-    if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.expect
index ca3b779cb10..a2a1447df5f 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.expect
@@ -5,7 +5,7 @@ import "dart:core" as core;
 static method test1(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final dynamic #t2 = #t1;
-  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t6 = x;
   final dynamic #t7 = #t6;
-  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t13 = x;
   final dynamic #t14 = #t13;
-  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t17 = #t15;
-    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t21 = x;
   final dynamic #t22 = #t21;
-  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t24 = #t23;
-    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t26 = #t25;
-      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t28 = #t27;
         if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
   final dynamic #t30 = #t29;
   if(!(#t30 == null)) {
     final dynamic #t31 = #t30;
-    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
 static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t35 = x;
   final core::List<core::Object?> #t36 = #t35;
-  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t40 = x;
   final core::List<core::Object?> #t41 = #t40;
-  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t47 = x;
   final core::List<core::Object?> #t48 = #t47;
-  if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t51 = #t49;
-    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t55 = x;
   final core::List<core::Object?> #t56 = #t55;
-  if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t58 = #t57;
-    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t60 = #t59;
-      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t62 = #t61;
         if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t64 = #t63;
   if(!(#t64 == null)) {
     final core::List<core::Object?> #t65 = #t64;
-    if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.modular.expect
index ca3b779cb10..a2a1447df5f 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.modular.expect
@@ -5,7 +5,7 @@ import "dart:core" as core;
 static method test1(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final dynamic #t2 = #t1;
-  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t6 = x;
   final dynamic #t7 = #t6;
-  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t13 = x;
   final dynamic #t14 = #t13;
-  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t17 = #t15;
-    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t21 = x;
   final dynamic #t22 = #t21;
-  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t24 = #t23;
-    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t26 = #t25;
-      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t28 = #t27;
         if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
   final dynamic #t30 = #t29;
   if(!(#t30 == null)) {
     final dynamic #t31 = #t30;
-    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
 static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t35 = x;
   final core::List<core::Object?> #t36 = #t35;
-  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t40 = x;
   final core::List<core::Object?> #t41 = #t40;
-  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t47 = x;
   final core::List<core::Object?> #t48 = #t47;
-  if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t51 = #t49;
-    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t55 = x;
   final core::List<core::Object?> #t56 = #t55;
-  if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t58 = #t57;
-    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t60 = #t59;
-      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t62 = #t61;
         if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t64 = #t63;
   if(!(#t64 == null)) {
     final core::List<core::Object?> #t65 = #t64;
-    if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.transformed.expect
index ca3b779cb10..a2a1447df5f 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.transformed.expect
@@ -5,7 +5,7 @@ import "dart:core" as core;
 static method test1(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final dynamic #t2 = #t1;
-  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t6 = x;
   final dynamic #t7 = #t6;
-  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t13 = x;
   final dynamic #t14 = #t13;
-  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t17 = #t15;
-    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
   }
   final dynamic #t21 = x;
   final dynamic #t22 = #t21;
-  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t24 = #t23;
-    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t26 = #t25;
-      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t28 = #t27;
         if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
   final dynamic #t30 = #t29;
   if(!(#t30 == null)) {
     final dynamic #t31 = #t30;
-    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
 static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t35 = x;
   final core::List<core::Object?> #t36 = #t35;
-  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
     final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
     final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t40 = x;
   final core::List<core::Object?> #t41 = #t40;
-  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+  if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
     final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
     final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
     final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t47 = x;
   final core::List<core::Object?> #t48 = #t47;
-  if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t51 = #t49;
-    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
       final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
       final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
   }
   final core::List<core::Object?> #t55 = x;
   final core::List<core::Object?> #t56 = #t55;
-  if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t58 = #t57;
-    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t60 = #t59;
-      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t62 = #t61;
         if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
   final core::List<core::Object?> #t64 = #t63;
   if(!(#t64 == null)) {
     final core::List<core::Object?> #t65 = #t64;
-    if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
+    if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
       final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.expect
index d1d9d394a82..c41fb49c2e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final dynamic #t4 = #t1!;
       final dynamic #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.transformed.expect
index d1d9d394a82..c41fb49c2e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final dynamic #t4 = #t1!;
       final dynamic #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.expect
index d1d9d394a82..c41fb49c2e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final dynamic #t4 = #t1!;
       final dynamic #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.modular.expect
index d1d9d394a82..c41fb49c2e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.modular.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final dynamic #t4 = #t1!;
       final dynamic #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.transformed.expect
index d1d9d394a82..c41fb49c2e2 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     if(!#t3) {
       final dynamic #t4 = #t1!;
       final dynamic #t5 = #t4;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.expect
index e33719bad11..31d8d86d372 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.expect
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
       final dynamic #t4 = #t1;
       if(!(#t4 == null)) {
         final dynamic #t5 = #t4;
-        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
             #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.transformed.expect
index e33719bad11..31d8d86d372 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.transformed.expect
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
       final dynamic #t4 = #t1;
       if(!(#t4 == null)) {
         final dynamic #t5 = #t4;
-        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
             #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.expect
index e33719bad11..31d8d86d372 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.expect
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
       final dynamic #t4 = #t1;
       if(!(#t4 == null)) {
         final dynamic #t5 = #t4;
-        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
             #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.modular.expect
index e33719bad11..31d8d86d372 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.modular.expect
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
       final dynamic #t4 = #t1;
       if(!(#t4 == null)) {
         final dynamic #t5 = #t4;
-        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
             #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.transformed.expect
index e33719bad11..31d8d86d372 100644
--- a/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.transformed.expect
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
       final dynamic #t4 = #t1;
       if(!(#t4 == null)) {
         final dynamic #t5 = #t4;
-        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
             #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.expect b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.expect
index b92d69ad13c..a070225471e 100644
--- a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.expect
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
   dynamic #t10;
   dynamic #t11;
   final dynamic #t12 = #t7;
-  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t14 = #t13;
     if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
   }
   if(!#t8) {
     final dynamic #t15 = #t7;
-    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t17 = #t16;
       if(#t17 is core::String) {
diff --git a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.transformed.expect
index b92d69ad13c..a070225471e 100644
--- a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.transformed.expect
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
   dynamic #t10;
   dynamic #t11;
   final dynamic #t12 = #t7;
-  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t14 = #t13;
     if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
   }
   if(!#t8) {
     final dynamic #t15 = #t7;
-    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t17 = #t16;
       if(#t17 is core::String) {
diff --git a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.expect b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.expect
index b92d69ad13c..a070225471e 100644
--- a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.expect
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
   dynamic #t10;
   dynamic #t11;
   final dynamic #t12 = #t7;
-  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t14 = #t13;
     if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
   }
   if(!#t8) {
     final dynamic #t15 = #t7;
-    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t17 = #t16;
       if(#t17 is core::String) {
diff --git a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.modular.expect
index b92d69ad13c..a070225471e 100644
--- a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.modular.expect
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
   dynamic #t10;
   dynamic #t11;
   final dynamic #t12 = #t7;
-  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t14 = #t13;
     if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
   }
   if(!#t8) {
     final dynamic #t15 = #t7;
-    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t17 = #t16;
       if(#t17 is core::String) {
diff --git a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.transformed.expect
index b92d69ad13c..a070225471e 100644
--- a/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.transformed.expect
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
   dynamic #t10;
   dynamic #t11;
   final dynamic #t12 = #t7;
-  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t14 = #t13;
     if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
   }
   if(!#t8) {
     final dynamic #t15 = #t7;
-    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+    if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
       final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
       final dynamic #t17 = #t16;
       if(#t17 is core::String) {
diff --git a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.expect b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.expect
index 6ef2045ad30..33adaaf6dfd 100644
--- a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.expect
@@ -149,7 +149,7 @@ static method main() → dynamic {
   self::A a = new self::A::•();
   final self::A #t1 = a;
   final self::A #t2 = #t1;
-  if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t5 = #t3;
diff --git a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.transformed.expect
index 591c162aa30..9a2156afd83 100644
--- a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.transformed.expect
@@ -535,7 +535,7 @@ static method main() → dynamic {
   self::A a = new self::A::•();
   final self::A #t10 = a;
   final self::A #t11 = #t10;
-  if(#t11.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t11.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t13 = #t11{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t14 = #t12;
diff --git a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.expect b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.expect
index 6ef2045ad30..33adaaf6dfd 100644
--- a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.expect
@@ -149,7 +149,7 @@ static method main() → dynamic {
   self::A a = new self::A::•();
   final self::A #t1 = a;
   final self::A #t2 = #t1;
-  if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t5 = #t3;
diff --git a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.modular.expect
index 6ef2045ad30..33adaaf6dfd 100644
--- a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.modular.expect
@@ -149,7 +149,7 @@ static method main() → dynamic {
   self::A a = new self::A::•();
   final self::A #t1 = a;
   final self::A #t2 = #t1;
-  if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t5 = #t3;
diff --git a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.transformed.expect
index 81e74dbdd4e..704ea8bf4c0 100644
--- a/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.transformed.expect
@@ -535,7 +535,7 @@ static method main() → dynamic {
   self::A a = new self::A::•();
   final self::A #t9 = a;
   final self::A #t10 = #t9;
-  if(#t10.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
+  if(#t10.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
     final dynamic #t11 = #t10{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t12 = #t10{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     final dynamic #t13 = #t11;
diff --git a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.expect
index 386339e09bf..1c8b33e35d6 100644
--- a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5!;
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.transformed.expect
index 386339e09bf..1c8b33e35d6 100644
--- a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5!;
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.expect
index 386339e09bf..1c8b33e35d6 100644
--- a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5!;
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.modular.expect
index 386339e09bf..1c8b33e35d6 100644
--- a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5!;
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.transformed.expect
index 386339e09bf..1c8b33e35d6 100644
--- a/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5!;
         if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.expect
index b0576f68848..c4742ea4bbb 100644
--- a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5;
         if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.transformed.expect
index b0576f68848..c4742ea4bbb 100644
--- a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5;
         if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.expect
index b0576f68848..c4742ea4bbb 100644
--- a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5;
         if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.modular.expect
index b0576f68848..c4742ea4bbb 100644
--- a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5;
         if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.transformed.expect
index b0576f68848..c4742ea4bbb 100644
--- a/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t6 = #t5;
         if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
diff --git a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.expect
index 08a39175930..3a9d17b8c8d 100644
--- a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.transformed.expect
index 08a39175930..3a9d17b8c8d 100644
--- a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.expect
index 08a39175930..3a9d17b8c8d 100644
--- a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.modular.expect
index 08a39175930..3a9d17b8c8d 100644
--- a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.modular.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.transformed.expect
index 08a39175930..3a9d17b8c8d 100644
--- a/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.transformed.expect
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t3 = false;
     if(!#t3) {
       final dynamic #t4 = #t1;
-      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
           #t2 = 0;
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart
new file mode 100644
index 00000000000..8534f387c14
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart
@@ -0,0 +1,50 @@
+// Copyright (c) 2022, 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.
+
+test1(dynamic x) {
+  if (x case [int y]) {
+    return y;
+  } else {
+    return null;
+  }
+}
+
+test2(dynamic x) {
+  if (x case [int y, ...]) {
+    return y;
+  } else {
+    return null;
+  }
+}
+
+test3(dynamic x) {
+  if (x case [..., int y]) {
+    return y;
+  } else {
+    return null;
+  }
+}
+
+main() {
+  expectEquals(test1([1]), 1);
+  expectEquals(test1([1, 2, 3]), null);
+  expectEquals(test1([]), null);
+  expectEquals(test1("foo"), null);
+
+  expectEquals(test2([1]), 1);
+  expectEquals(test2([1, 2, 3]), 1);
+  expectEquals(test2([]), null);
+  expectEquals(test2("foo"), null);
+
+  expectEquals(test3([1]), 1);
+  expectEquals(test3([1, 2, 3]), 3);
+  expectEquals(test3([]), null);
+  expectEquals(test3("foo"), null);
+}
+
+expectEquals(x, y) {
+  if (x != y) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.expect
new file mode 100644
index 00000000000..013c6324f19
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.expect
@@ -0,0 +1,86 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+static method test1(dynamic x) → dynamic {
+  final dynamic #t1 = x;
+  final core::bool #t2 = true;
+  final dynamic #t3 = #t1;
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
+    final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t5 = #t4;
+    if(#t5 is core::int) {
+      #t2 = false;
+      {
+        core::int y = #t5{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t2) {
+    return null;
+  }
+}
+static method test2(dynamic x) → dynamic {
+  final dynamic #t6 = x;
+  final core::bool #t7 = true;
+  final dynamic #t8 = #t6;
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t10 = #t9;
+    if(#t10 is core::int) {
+      #t7 = false;
+      {
+        core::int y = #t10{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t7) {
+    return null;
+  }
+}
+static method test3(dynamic x) → dynamic {
+  final dynamic #t11 = x;
+  final core::bool #t12 = true;
+  final dynamic #t13 = #t11;
+  if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
+    final dynamic #t15 = #t14;
+    if(#t15 is core::int) {
+      #t12 = false;
+      {
+        core::int y = #t15{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t12) {
+    return null;
+  }
+}
+static method main() → dynamic {
+  self::expectEquals(self::test1(<core::int>[1]), 1);
+  self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test1(<dynamic>[]), null);
+  self::expectEquals(self::test1("foo"), null);
+  self::expectEquals(self::test2(<core::int>[1]), 1);
+  self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
+  self::expectEquals(self::test2(<dynamic>[]), null);
+  self::expectEquals(self::test2("foo"), null);
+  self::expectEquals(self::test3(<core::int>[1]), 1);
+  self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
+  self::expectEquals(self::test3(<dynamic>[]), null);
+  self::expectEquals(self::test3("foo"), null);
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+  if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.transformed.expect
new file mode 100644
index 00000000000..7d425c23d69
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.transformed.expect
@@ -0,0 +1,86 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+static method test1(dynamic x) → dynamic {
+  final dynamic #t1 = x;
+  final core::bool #t2 = true;
+  final dynamic #t3 = #t1;
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
+    final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t5 = #t4;
+    if(#t5 is core::int) {
+      #t2 = false;
+      {
+        core::int y = #t5{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t2) {
+    return null;
+  }
+}
+static method test2(dynamic x) → dynamic {
+  final dynamic #t6 = x;
+  final core::bool #t7 = true;
+  final dynamic #t8 = #t6;
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t10 = #t9;
+    if(#t10 is core::int) {
+      #t7 = false;
+      {
+        core::int y = #t10{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t7) {
+    return null;
+  }
+}
+static method test3(dynamic x) → dynamic {
+  final dynamic #t11 = x;
+  final core::bool #t12 = true;
+  final dynamic #t13 = #t11;
+  if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
+    final dynamic #t15 = #t14;
+    if(#t15 is core::int) {
+      #t12 = false;
+      {
+        core::int y = #t15{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t12) {
+    return null;
+  }
+}
+static method main() → dynamic {
+  self::expectEquals(self::test1(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test1(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
+  self::expectEquals(self::test1(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test1("foo"), null);
+  self::expectEquals(self::test2(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test2(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 1);
+  self::expectEquals(self::test2(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test2("foo"), null);
+  self::expectEquals(self::test3(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test3(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 3);
+  self::expectEquals(self::test3(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test3("foo"), null);
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+  if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline.expect
new file mode 100644
index 00000000000..16dd4204d7b
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline.expect
@@ -0,0 +1,5 @@
+test1(dynamic x) {}
+test2(dynamic x) {}
+test3(dynamic x) {}
+main() {}
+expectEquals(x, y) {}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline_modelled.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline_modelled.expect
new file mode 100644
index 00000000000..bd84be74939
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline_modelled.expect
@@ -0,0 +1,5 @@
+expectEquals(x, y) {}
+main() {}
+test1(dynamic x) {}
+test2(dynamic x) {}
+test3(dynamic x) {}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.expect
new file mode 100644
index 00000000000..013c6324f19
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.expect
@@ -0,0 +1,86 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+static method test1(dynamic x) → dynamic {
+  final dynamic #t1 = x;
+  final core::bool #t2 = true;
+  final dynamic #t3 = #t1;
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
+    final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t5 = #t4;
+    if(#t5 is core::int) {
+      #t2 = false;
+      {
+        core::int y = #t5{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t2) {
+    return null;
+  }
+}
+static method test2(dynamic x) → dynamic {
+  final dynamic #t6 = x;
+  final core::bool #t7 = true;
+  final dynamic #t8 = #t6;
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t10 = #t9;
+    if(#t10 is core::int) {
+      #t7 = false;
+      {
+        core::int y = #t10{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t7) {
+    return null;
+  }
+}
+static method test3(dynamic x) → dynamic {
+  final dynamic #t11 = x;
+  final core::bool #t12 = true;
+  final dynamic #t13 = #t11;
+  if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
+    final dynamic #t15 = #t14;
+    if(#t15 is core::int) {
+      #t12 = false;
+      {
+        core::int y = #t15{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t12) {
+    return null;
+  }
+}
+static method main() → dynamic {
+  self::expectEquals(self::test1(<core::int>[1]), 1);
+  self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test1(<dynamic>[]), null);
+  self::expectEquals(self::test1("foo"), null);
+  self::expectEquals(self::test2(<core::int>[1]), 1);
+  self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
+  self::expectEquals(self::test2(<dynamic>[]), null);
+  self::expectEquals(self::test2("foo"), null);
+  self::expectEquals(self::test3(<core::int>[1]), 1);
+  self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
+  self::expectEquals(self::test3(<dynamic>[]), null);
+  self::expectEquals(self::test3("foo"), null);
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+  if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.modular.expect
new file mode 100644
index 00000000000..013c6324f19
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.modular.expect
@@ -0,0 +1,86 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+static method test1(dynamic x) → dynamic {
+  final dynamic #t1 = x;
+  final core::bool #t2 = true;
+  final dynamic #t3 = #t1;
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
+    final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t5 = #t4;
+    if(#t5 is core::int) {
+      #t2 = false;
+      {
+        core::int y = #t5{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t2) {
+    return null;
+  }
+}
+static method test2(dynamic x) → dynamic {
+  final dynamic #t6 = x;
+  final core::bool #t7 = true;
+  final dynamic #t8 = #t6;
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t10 = #t9;
+    if(#t10 is core::int) {
+      #t7 = false;
+      {
+        core::int y = #t10{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t7) {
+    return null;
+  }
+}
+static method test3(dynamic x) → dynamic {
+  final dynamic #t11 = x;
+  final core::bool #t12 = true;
+  final dynamic #t13 = #t11;
+  if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
+    final dynamic #t15 = #t14;
+    if(#t15 is core::int) {
+      #t12 = false;
+      {
+        core::int y = #t15{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t12) {
+    return null;
+  }
+}
+static method main() → dynamic {
+  self::expectEquals(self::test1(<core::int>[1]), 1);
+  self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test1(<dynamic>[]), null);
+  self::expectEquals(self::test1("foo"), null);
+  self::expectEquals(self::test2(<core::int>[1]), 1);
+  self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
+  self::expectEquals(self::test2(<dynamic>[]), null);
+  self::expectEquals(self::test2("foo"), null);
+  self::expectEquals(self::test3(<core::int>[1]), 1);
+  self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
+  self::expectEquals(self::test3(<dynamic>[]), null);
+  self::expectEquals(self::test3("foo"), null);
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+  if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.outline.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.outline.expect
new file mode 100644
index 00000000000..7bd39841e48
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.outline.expect
@@ -0,0 +1,13 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+
+static method test1(dynamic x) → dynamic
+  ;
+static method test2(dynamic x) → dynamic
+  ;
+static method test3(dynamic x) → dynamic
+  ;
+static method main() → dynamic
+  ;
+static method expectEquals(dynamic x, dynamic y) → dynamic
+  ;
diff --git a/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.transformed.expect
new file mode 100644
index 00000000000..7d425c23d69
--- /dev/null
+++ b/pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.transformed.expect
@@ -0,0 +1,86 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+static method test1(dynamic x) → dynamic {
+  final dynamic #t1 = x;
+  final core::bool #t2 = true;
+  final dynamic #t3 = #t1;
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
+    final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t5 = #t4;
+    if(#t5 is core::int) {
+      #t2 = false;
+      {
+        core::int y = #t5{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t2) {
+    return null;
+  }
+}
+static method test2(dynamic x) → dynamic {
+  final dynamic #t6 = x;
+  final core::bool #t7 = true;
+  final dynamic #t8 = #t6;
+  if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
+    final dynamic #t10 = #t9;
+    if(#t10 is core::int) {
+      #t7 = false;
+      {
+        core::int y = #t10{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t7) {
+    return null;
+  }
+}
+static method test3(dynamic x) → dynamic {
+  final dynamic #t11 = x;
+  final core::bool #t12 = true;
+  final dynamic #t13 = #t11;
+  if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
+    final dynamic #t15 = #t14;
+    if(#t15 is core::int) {
+      #t12 = false;
+      {
+        core::int y = #t15{core::int};
+        {
+          return y;
+        }
+      }
+    }
+  }
+  if(#t12) {
+    return null;
+  }
+}
+static method main() → dynamic {
+  self::expectEquals(self::test1(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test1(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
+  self::expectEquals(self::test1(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test1("foo"), null);
+  self::expectEquals(self::test2(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test2(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 1);
+  self::expectEquals(self::test2(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test2("foo"), null);
+  self::expectEquals(self::test3(core::_GrowableList::_literal1<core::int>(1)), 1);
+  self::expectEquals(self::test3(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 3);
+  self::expectEquals(self::test3(core::_GrowableList::•<dynamic>(0)), null);
+  self::expectEquals(self::test3("foo"), null);
+}
+static method expectEquals(dynamic x, dynamic y) → dynamic {
+  if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
+    throw "Expected ${x} to be equal to ${y}.";
+  }
+}
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart b/pkg/front_end/testcases/patterns/simple_runtime_test.dart
index fc8d2f15dcd..2a2be3172e3 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart
@@ -11,9 +11,12 @@ test(dynamic x) {
 }
 
 main() {
-  expectEquals(test(["one", "two", "three"]), "one");
+  expectEquals(test(["one", "two", "three"]), null);
+  expectEquals(test(["one"]), "one");
   expectEquals(test([1, 2, 3]), null);
+  expectEquals(test([1]), null);
   expectEquals(test([true, false]), null);
+  expectEquals(test([true]), null);
   expectEquals(test([]), null);
 }
 
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.expect
index 52ad7fb01dd..c3c2d620eae 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.expect
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final core::bool #t2 = true;
   final dynamic #t3 = #t1;
-  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t5 = #t4;
     if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
   }
 }
 static method main() → dynamic {
-  self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
+  self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
+  self::expectEquals(self::test(<core::String>["one"]), "one");
   self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test(<core::int>[1]), null);
   self::expectEquals(self::test(<core::bool>[true, false]), null);
+  self::expectEquals(self::test(<core::bool>[true]), null);
   self::expectEquals(self::test(<dynamic>[]), null);
 }
 static method expectEquals(dynamic x, dynamic y) → dynamic {
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.transformed.expect
index 0001f8a6f3f..ff902cdb6e7 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.transformed.expect
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final core::bool #t2 = true;
   final dynamic #t3 = #t1;
-  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t5 = #t4;
     if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
   }
 }
 static method main() → dynamic {
-  self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), "one");
+  self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::String>("one")), "one");
   self::expectEquals(self::test(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::int>(1)), null);
   self::expectEquals(self::test(core::_GrowableList::_literal2<core::bool>(true, false)), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::bool>(true)), null);
   self::expectEquals(self::test(core::_GrowableList::•<dynamic>(0)), null);
 }
 static method expectEquals(dynamic x, dynamic y) → dynamic {
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.expect
index 52ad7fb01dd..c3c2d620eae 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.expect
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final core::bool #t2 = true;
   final dynamic #t3 = #t1;
-  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t5 = #t4;
     if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
   }
 }
 static method main() → dynamic {
-  self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
+  self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
+  self::expectEquals(self::test(<core::String>["one"]), "one");
   self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test(<core::int>[1]), null);
   self::expectEquals(self::test(<core::bool>[true, false]), null);
+  self::expectEquals(self::test(<core::bool>[true]), null);
   self::expectEquals(self::test(<dynamic>[]), null);
 }
 static method expectEquals(dynamic x, dynamic y) → dynamic {
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.modular.expect
index 52ad7fb01dd..c3c2d620eae 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.modular.expect
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final core::bool #t2 = true;
   final dynamic #t3 = #t1;
-  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t5 = #t4;
     if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
   }
 }
 static method main() → dynamic {
-  self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
+  self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
+  self::expectEquals(self::test(<core::String>["one"]), "one");
   self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
+  self::expectEquals(self::test(<core::int>[1]), null);
   self::expectEquals(self::test(<core::bool>[true, false]), null);
+  self::expectEquals(self::test(<core::bool>[true]), null);
   self::expectEquals(self::test(<dynamic>[]), null);
 }
 static method expectEquals(dynamic x, dynamic y) → dynamic {
diff --git a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.transformed.expect
index 0001f8a6f3f..ff902cdb6e7 100644
--- a/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.transformed.expect
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
   final dynamic #t1 = x;
   final core::bool #t2 = true;
   final dynamic #t3 = #t1;
-  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+  if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
     final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     final dynamic #t5 = #t4;
     if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
   }
 }
 static method main() → dynamic {
-  self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), "one");
+  self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::String>("one")), "one");
   self::expectEquals(self::test(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::int>(1)), null);
   self::expectEquals(self::test(core::_GrowableList::_literal2<core::bool>(true, false)), null);
+  self::expectEquals(self::test(core::_GrowableList::_literal1<core::bool>(true)), null);
   self::expectEquals(self::test(core::_GrowableList::•<dynamic>(0)), null);
 }
 static method expectEquals(dynamic x, dynamic y) → dynamic {
diff --git a/pkg/front_end/testcases/patterns/simple_switch.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_switch.dart.strong.expect
index 7bfdd365d9f..841acd5741c 100644
--- a/pkg/front_end/testcases/patterns/simple_switch.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/simple_switch.dart.strong.expect
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
   }
   if(!#t5) {
     final dynamic #t7 = #t3;
-    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t9 = #t8;
       if(#t9 is core::double) {
diff --git a/pkg/front_end/testcases/patterns/simple_switch.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_switch.dart.strong.transformed.expect
index 96aa053bc00..c0a9dff13ec 100644
--- a/pkg/front_end/testcases/patterns/simple_switch.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/simple_switch.dart.strong.transformed.expect
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
   }
   if(!#t5) {
     final dynamic #t7 = #t3;
-    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t9 = #t8;
       if(#t9 is core::double) {
diff --git a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.expect
index 7bfdd365d9f..841acd5741c 100644
--- a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.expect
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
   }
   if(!#t5) {
     final dynamic #t7 = #t3;
-    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t9 = #t8;
       if(#t9 is core::double) {
diff --git a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.modular.expect
index 7bfdd365d9f..841acd5741c 100644
--- a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.modular.expect
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
   }
   if(!#t5) {
     final dynamic #t7 = #t3;
-    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t9 = #t8;
       if(#t9 is core::double) {
diff --git a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.transformed.expect
index 96aa053bc00..c0a9dff13ec 100644
--- a/pkg/front_end/testcases/patterns/simple_switch.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/simple_switch.dart.weak.transformed.expect
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
   }
   if(!#t5) {
     final dynamic #t7 = #t3;
-    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+    if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
       final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
       final dynamic #t9 = #t8;
       if(#t9 is core::double) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.expect
index ad78f12d148..17d9d75984b 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t4 = false;
     if(!#t4) {
       final dynamic #t5 = #t2;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t7 = #t6;
         if(#t7 is core::int) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.transformed.expect
index ad78f12d148..17d9d75984b 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t4 = false;
     if(!#t4) {
       final dynamic #t5 = #t2;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t7 = #t6;
         if(#t7 is core::int) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.expect
index ad78f12d148..17d9d75984b 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t4 = false;
     if(!#t4) {
       final dynamic #t5 = #t2;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t7 = #t6;
         if(#t7 is core::int) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.modular.expect
index ad78f12d148..17d9d75984b 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.modular.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t4 = false;
     if(!#t4) {
       final dynamic #t5 = #t2;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t7 = #t6;
         if(#t7 is core::int) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.transformed.expect
index ad78f12d148..17d9d75984b 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.weak.transformed.expect
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
     final core::bool #t4 = false;
     if(!#t4) {
       final dynamic #t5 = #t2;
-      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+      if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
         final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
         final dynamic #t7 = #t6;
         if(#t7 is core::int) {
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.expect
index 27223a41df9..093f48cc2ef 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.expect
@@ -22,7 +22,7 @@ static method test(dynamic x) → dynamic {
       }
       if(!#t6) {
         final dynamic #t11 = #t5;
-        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           #t7 = true;
           #t9 = #t12;
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.transformed.expect
index 27223a41df9..093f48cc2ef 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.strong.transformed.expect
@@ -22,7 +22,7 @@ static method test(dynamic x) → dynamic {
       }
       if(!#t6) {
         final dynamic #t11 = #t5;
-        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           #t7 = true;
           #t9 = #t12;
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.expect
index 27223a41df9..093f48cc2ef 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.expect
@@ -22,7 +22,7 @@ static method test(dynamic x) → dynamic {
       }
       if(!#t6) {
         final dynamic #t11 = #t5;
-        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           #t7 = true;
           #t9 = #t12;
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.modular.expect
index 27223a41df9..093f48cc2ef 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.modular.expect
@@ -22,7 +22,7 @@ static method test(dynamic x) → dynamic {
       }
       if(!#t6) {
         final dynamic #t11 = #t5;
-        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           #t7 = true;
           #t9 = #t12;
diff --git a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.transformed.expect
index 27223a41df9..093f48cc2ef 100644
--- a/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/typed_variable_named_as_inside_logical_or_lhs.dart.weak.transformed.expect
@@ -22,7 +22,7 @@ static method test(dynamic x) → dynamic {
       }
       if(!#t6) {
         final dynamic #t11 = #t5;
-        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
+        if(#t11 is core::List<dynamic> && #t11{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
           final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
           #t7 = true;
           #t9 = #t12;