[cfe] Include more implicit cast in lowering

This adds the implicit casts to the result of relational pattern matching and guards in if-case elements/map entries. Closes #51724 Change-Id: I368528534341194555f091174151d8510b136358 Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/291221 Reviewed-by: Chloe Stefantsova <cstefantsova@google.com> Commit-Queue: Johnni Winther <johnniwinther@google.com>
2024-10-06 13:08:01 +00:00 · 2023-03-27 13:35:08 +00:00 · 2023-03-27 13:35:08 +00:00 · 48df4211f8
parent e687628f93
commit 48df4211f8
51 changed files with 1733 additions and 134 deletions
--- a/pkg/front_end/lib/src/fasta/kernel/constant_evaluator.dart
+++ b/pkg/front_end/lib/src/fasta/kernel/constant_evaluator.dart
@ -1222,7 +1222,8 @@ class ConstantsTransformer extends RemovingTransformer {

      MatchingCache matchingCache = createMatchingCache();
      MatchingExpressionVisitor matchingExpressionVisitor =
-          new MatchingExpressionVisitor(matchingCache);
+          new MatchingExpressionVisitor(
+              matchingCache, typeEnvironment.coreTypes);
      CacheableExpression matchedExpression =
          matchingCache.createRootExpression(node.expression, scrutineeType);
      // This expression is used, even if no case reads it.
@ -1596,7 +1597,7 @@ class ConstantsTransformer extends RemovingTransformer {

    MatchingCache matchingCache = createMatchingCache();
    MatchingExpressionVisitor matchingExpressionVisitor =
-        new MatchingExpressionVisitor(matchingCache);
+        new MatchingExpressionVisitor(matchingCache, typeEnvironment.coreTypes);
    CacheableExpression matchedExpression = matchingCache.createRootExpression(
        node.expression, node.matchedValueType!);
    // This expression is used, even if the matching expression doesn't read it.
@ -1644,7 +1645,7 @@ class ConstantsTransformer extends RemovingTransformer {

    MatchingCache matchingCache = createMatchingCache();
    MatchingExpressionVisitor matchingExpressionVisitor =
-        new MatchingExpressionVisitor(matchingCache);
+        new MatchingExpressionVisitor(matchingCache, typeEnvironment.coreTypes);
    // TODO(cstefantsova): Do we need a more precise type for the variable?
    DartType matchedType = const DynamicType();
    CacheableExpression matchedExpression =
@ -1706,7 +1707,7 @@ class ConstantsTransformer extends RemovingTransformer {

    MatchingCache matchingCache = createMatchingCache();
    MatchingExpressionVisitor matchingExpressionVisitor =
-        new MatchingExpressionVisitor(matchingCache);
+        new MatchingExpressionVisitor(matchingCache, typeEnvironment.coreTypes);
    // TODO(cstefantsova): Do we need a more precise type for the variable?
    DartType matchedType = const DynamicType();
    CacheableExpression matchedExpression =
@ -1896,7 +1897,8 @@ class ConstantsTransformer extends RemovingTransformer {
    } else {
      MatchingCache matchingCache = createMatchingCache();
      MatchingExpressionVisitor matchingExpressionVisitor =
-          new MatchingExpressionVisitor(matchingCache);
+          new MatchingExpressionVisitor(
+              matchingCache, typeEnvironment.coreTypes);
      CacheableExpression matchedExpression =
          matchingCache.createRootExpression(node.expression, scrutineeType);
      // This expression is used, even if no case reads it.
--- a/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
@ -2300,8 +2300,15 @@ class InferenceVisitorImpl extends InferenceVisitorBase
    InvalidExpression? guardError = analysisResult.nonBooleanGuardError;
    if (guardError != null) {
      patternGuard.guard = guardError..parent = patternGuard;
-    } else if (!identical(patternGuard.guard, rewrite)) {
-      patternGuard.guard = (rewrite as Expression?)?..parent = patternGuard;
+    } else {
+      if (!identical(patternGuard.guard, rewrite)) {
+        patternGuard.guard = (rewrite as Expression?)?..parent = patternGuard;
+      }
+      if (analysisResult.guardType is DynamicType) {
+        patternGuard.guard = _createImplicitAs(patternGuard.guard!.fileOffset,
+            patternGuard.guard!, coreTypes.boolNonNullableRawType)
+          ..parent = patternGuard;
+      }
    }

    rewrite = popRewrite();
@ -4217,8 +4224,15 @@ class InferenceVisitorImpl extends InferenceVisitorBase
    InvalidExpression? guardError = analysisResult.nonBooleanGuardError;
    if (guardError != null) {
      patternGuard.guard = guardError..parent = patternGuard;
-    } else if (!identical(patternGuard.guard, rewrite)) {
-      patternGuard.guard = (rewrite as Expression?)?..parent = patternGuard;
+    } else {
+      if (!identical(patternGuard.guard, rewrite)) {
+        patternGuard.guard = (rewrite as Expression?)?..parent = patternGuard;
+      }
+      if (analysisResult.guardType is DynamicType) {
+        patternGuard.guard = _createImplicitAs(patternGuard.guard!.fileOffset,
+            patternGuard.guard!, coreTypes.boolNonNullableRawType)
+          ..parent = patternGuard;
+      }
    }

    rewrite = popRewrite();
--- a/pkg/front_end/lib/src/fasta/type_inference/matching_expressions.dart
+++ b/pkg/front_end/lib/src/fasta/type_inference/matching_expressions.dart
@ -5,6 +5,7 @@
 import 'package:front_end/src/fasta/type_inference/delayed_expressions.dart';
 import 'package:front_end/src/fasta/type_inference/matching_cache.dart';
 import 'package:kernel/ast.dart';
+import 'package:kernel/core_types.dart';

 import '../names.dart';

@ -13,8 +14,9 @@ import '../names.dart';
 class MatchingExpressionVisitor
    implements PatternVisitor1<DelayedExpression, CacheableExpression> {
  final MatchingCache matchingCache;
+  final CoreTypes coreTypes;

-  MatchingExpressionVisitor(this.matchingCache);
+  MatchingExpressionVisitor(this.matchingCache, this.coreTypes);

  DelayedExpression visitPattern(
      Pattern node, CacheableExpression matchedExpression) {
@ -625,6 +627,7 @@ class MatchingExpressionVisitor
                      isImplicit: true, fileOffset: node.fileOffset)
                ],
                fileOffset: node.fileOffset);
+
            break;
          case RelationalAccessKind.Static:
            FunctionType functionType = node.functionType!;
@ -669,6 +672,9 @@ class MatchingExpressionVisitor
                fileOffset: node.fileOffset);
            break;
        }
+        expression = new DelayedAsExpression(
+            expression, coreTypes.boolNonNullableRawType,
+            isImplicit: true, fileOffset: node.fileOffset);
        return matchingCache.createComparisonExpression(
            matchedExpression, node.name!.text, constant, expression,
            staticTarget: staticTarget, fileOffset: node.fileOffset);
--- a/pkg/front_end/testcases/modular.status
+++ b/pkg/front_end/testcases/modular.status
@ -84,5 +84,4 @@ nnbd_mixed/issue41567: TypeCheckError
 nnbd_mixed/messages_with_types_opt_in: TypeCheckError
 nnbd_mixed/messages_with_types_opt_out: TypeCheckError
 no_such_method_forwarders/mixin_nsm: TypeCheckError
-patterns/pattern_types: TypeCheckError
 runtime_checks_new/mixin_forwarding_stub_getter: TypeCheckError
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart
@ -7,7 +7,7 @@ dynamic guard() => true;
 main() {
  var [a] = [5];
  int b;
-  [b] = [5];
+  [b] = [if (a case == 5 when guard()) 5];
  if (a case == 5 when guard()) {
    a = 6;
  }
@ -19,4 +19,5 @@ main() {
    case int e when guard():
      print(a);
  }
+  var d = {if (a case == 5 when guard()) 5: 6};
 }
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart.strong.expect
@ -13,48 +13,63 @@ static method main() → dynamic {
  }
  core::int b;
  block {
-    final synthesized dynamic #1#0 = <core::int>[5];
-    if(!(#1#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = b = #1#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
+    final synthesized dynamic #2#0 = block {
+      final core::List<core::int> #t2 = <core::int>[];
+      {
+        final synthesized core::int #1#0 = a;
+        if(#1#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+          #t2.{core::List::add}{Invariant}(5){(core::int) → void};
+      }
+    } =>#t2;
+    if(!(#2#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = b = #2#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
      throw new core::StateError::•("Pattern matching error");
-  } =>#1#0;
+  } =>#2#0;
  {
-    final synthesized core::int #2#0 = a;
-    if(#2#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+    final synthesized core::int #3#0 = a;
+    if(#3#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
      a = 6;
    }
  }
  core::int c = block {
-    core::int #t3;
-    final synthesized core::int #3#0 = a;
+    core::int #t4;
+    final synthesized core::int #4#0 = a;
    #L1:
    {
      {
        core::int d;
-        if(#3#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t4 = d = #3#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
-          #t3 = d;
+        if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = d = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+          #t4 = d;
          break #L1;
        }
      }
      {
        if(true) {
-          #t3 = 0;
+          #t4 = 0;
          break #L1;
        }
      }
    }
-  } =>#t3;
+  } =>#t4;
  #L2:
  {
-    final synthesized core::int #4#0 = b;
+    final synthesized core::int #5#0 = b;
    {
      core::int e;
-      if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = e = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+      if(#5#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = e = #5#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
        {
          core::print(a);
        }
      }
    }
  }
+  core::Map<core::int, core::int> d = block {
+    final core::Map<core::int, core::int> #t7 = <core::int, core::int>{};
+    {
+      final synthesized core::int #6#0 = a;
+      if(#6#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+        #t7.{core::Map::[]=}{Invariant}(5, 6){(core::int, core::int) → void};
+    }
+  } =>#t7;
 }

 constants  {
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart.strong.transformed.expect
@ -13,48 +13,63 @@ static method main() → dynamic {
  }
  core::int b;
  block {
-    final synthesized dynamic #1#0 = core::_GrowableList::_literal1<core::int>(5);
-    if(!(#1#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t2 = b = #1#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
+    final synthesized dynamic #2#0 = block {
+      final core::List<core::int> #t2 = core::_GrowableList::•<core::int>(0);
+      {
+        final synthesized core::int #1#0 = a;
+        if(#1#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+          #t2.{core::List::add}{Invariant}(5){(core::int) → void};
+      }
+    } =>#t2;
+    if(!(#2#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t3 = b = #2#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
      throw new core::StateError::•("Pattern matching error");
-  } =>#1#0;
+  } =>#2#0;
  {
-    final synthesized core::int #2#0 = a;
-    if(#2#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+    final synthesized core::int #3#0 = a;
+    if(#3#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
      a = 6;
    }
  }
  core::int c = block {
-    core::int #t3;
-    final synthesized core::int #3#0 = a;
+    core::int #t4;
+    final synthesized core::int #4#0 = a;
    #L1:
    {
      {
        core::int d;
-        if(#3#0 is{ForNonNullableByDefault} core::int && (let final core::int #t4 = d = #3#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
-          #t3 = d;
+        if(#4#0 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = d = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+          #t4 = d;
          break #L1;
        }
      }
      {
        if(true) {
-          #t3 = 0;
+          #t4 = 0;
          break #L1;
        }
      }
    }
-  } =>#t3;
+  } =>#t4;
  #L2:
  {
-    final synthesized core::int #4#0 = b;
+    final synthesized core::int #5#0 = b;
    {
      core::int e;
-      if(#4#0 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = e = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+      if(#5#0 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = e = #5#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
        {
          core::print(a);
        }
      }
    }
  }
+  core::Map<core::int, core::int> d = block {
+    final core::Map<core::int, core::int> #t7 = <core::int, core::int>{};
+    {
+      final synthesized core::int #6#0 = a;
+      if(#6#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+        #t7.{core::Map::[]=}{Invariant}(5, 6){(core::int, core::int) → void};
+    }
+  } =>#t7;
 }

 constants  {
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.expect
@ -14,49 +14,64 @@ static method main() → dynamic {
  }
  core::int b;
  block {
-    final synthesized dynamic #1#0 = <core::int>[5];
-    if(!(#1#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = b = #1#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
+    final synthesized dynamic #2#0 = block {
+      final core::List<core::int> #t2 = <core::int>[];
+      {
+        final synthesized core::int #1#0 = a;
+        if(#1#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+          #t2.{core::List::add}{Invariant}(5){(core::int) → void};
+      }
+    } =>#t2;
+    if(!(#2#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = b = #2#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
      throw new core::StateError::•("Pattern matching error");
-  } =>#1#0;
+  } =>#2#0;
  {
-    final synthesized core::int #2#0 = a;
-    if(#2#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+    final synthesized core::int #3#0 = a;
+    if(#3#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
      a = 6;
    }
  }
  core::int c = block {
-    core::int #t3;
-    final synthesized core::int #3#0 = a;
+    core::int #t4;
+    final synthesized core::int #4#0 = a;
    #L1:
    {
      {
        core::int d;
-        if(#3#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t4 = d = #3#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
-          #t3 = d;
+        if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = d = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+          #t4 = d;
          break #L1;
        }
      }
      {
        if(true) {
-          #t3 = 0;
+          #t4 = 0;
          break #L1;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
-  } =>#t3;
+  } =>#t4;
  #L2:
  {
-    final synthesized core::int #4#0 = b;
+    final synthesized core::int #5#0 = b;
    {
      core::int e;
-      if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = e = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+      if(#5#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = e = #5#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
        {
          core::print(a);
        }
      }
    }
  }
+  core::Map<core::int, core::int> d = block {
+    final core::Map<core::int, core::int> #t7 = <core::int, core::int>{};
+    {
+      final synthesized core::int #6#0 = a;
+      if(#6#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+        #t7.{core::Map::[]=}{Invariant}(5, 6){(core::int, core::int) → void};
+    }
+  } =>#t7;
 }

 constants  {
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.modular.expect
@ -14,49 +14,64 @@ static method main() → dynamic {
  }
  core::int b;
  block {
-    final synthesized dynamic #1#0 = <core::int>[5];
-    if(!(#1#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = b = #1#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
+    final synthesized dynamic #2#0 = block {
+      final core::List<core::int> #t2 = <core::int>[];
+      {
+        final synthesized core::int #1#0 = a;
+        if(#1#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+          #t2.{core::List::add}{Invariant}(5){(core::int) → void};
+      }
+    } =>#t2;
+    if(!(#2#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = b = #2#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
      throw new core::StateError::•("Pattern matching error");
-  } =>#1#0;
+  } =>#2#0;
  {
-    final synthesized core::int #2#0 = a;
-    if(#2#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+    final synthesized core::int #3#0 = a;
+    if(#3#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
      a = 6;
    }
  }
  core::int c = block {
-    core::int #t3;
-    final synthesized core::int #3#0 = a;
+    core::int #t4;
+    final synthesized core::int #4#0 = a;
    #L1:
    {
      {
        core::int d;
-        if(#3#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t4 = d = #3#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
-          #t3 = d;
+        if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = d = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+          #t4 = d;
          break #L1;
        }
      }
      {
        if(true) {
-          #t3 = 0;
+          #t4 = 0;
          break #L1;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
-  } =>#t3;
+  } =>#t4;
  #L2:
  {
-    final synthesized core::int #4#0 = b;
+    final synthesized core::int #5#0 = b;
    {
      core::int e;
-      if(#4#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = e = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+      if(#5#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = e = #5#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
        {
          core::print(a);
        }
      }
    }
  }
+  core::Map<core::int, core::int> d = block {
+    final core::Map<core::int, core::int> #t7 = <core::int, core::int>{};
+    {
+      final synthesized core::int #6#0 = a;
+      if(#6#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+        #t7.{core::Map::[]=}{Invariant}(5, 6){(core::int, core::int) → void};
+    }
+  } =>#t7;
 }

 constants  {
--- a/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/dynamic_guard.dart.weak.transformed.expect
@ -14,49 +14,64 @@ static method main() → dynamic {
  }
  core::int b;
  block {
-    final synthesized dynamic #1#0 = core::_GrowableList::_literal1<core::int>(5);
-    if(!(#1#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t2 = b = #1#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
+    final synthesized dynamic #2#0 = block {
+      final core::List<core::int> #t2 = core::_GrowableList::•<core::int>(0);
+      {
+        final synthesized core::int #1#0 = a;
+        if(#1#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+          #t2.{core::List::add}{Invariant}(5){(core::int) → void};
+      }
+    } =>#t2;
+    if(!(#2#0{core::List<core::int>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t3 = b = #2#0{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int} in true)))
      throw new core::StateError::•("Pattern matching error");
-  } =>#1#0;
+  } =>#2#0;
  {
-    final synthesized core::int #2#0 = a;
-    if(#2#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+    final synthesized core::int #3#0 = a;
+    if(#3#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
      a = 6;
    }
  }
  core::int c = block {
-    core::int #t3;
-    final synthesized core::int #3#0 = a;
+    core::int #t4;
+    final synthesized core::int #4#0 = a;
    #L1:
    {
      {
        core::int d;
-        if(#3#0 is{ForNonNullableByDefault} core::int && (let final core::int #t4 = d = #3#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
-          #t3 = d;
+        if(#4#0 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = d = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+          #t4 = d;
          break #L1;
        }
      }
      {
        if(true) {
-          #t3 = 0;
+          #t4 = 0;
          break #L1;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
-  } =>#t3;
+  } =>#t4;
  #L2:
  {
-    final synthesized core::int #4#0 = b;
+    final synthesized core::int #5#0 = b;
    {
      core::int e;
-      if(#4#0 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = e = #4#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
+      if(#5#0 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = e = #5#0 in true) && self::guard() as{TypeError,ForNonNullableByDefault} core::bool) {
        {
          core::print(a);
        }
      }
    }
  }
+  core::Map<core::int, core::int> d = block {
+    final core::Map<core::int, core::int> #t7 = <core::int, core::int>{};
+    {
+      final synthesized core::int #6#0 = a;
+      if(#6#0 =={core::num::==}{(core::Object) → core::bool} #C2 && self::guard() as{TypeError,ForNonNullableByDefault} core::bool)
+        #t7.{core::Map::[]=}{Invariant}(5, 6){(core::int, core::int) → void};
+    }
+  } =>#t7;
 }

 constants  {
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart
@ -0,0 +1,45 @@
+// Copyright (c) 2023, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+class C {
+  final int value;
+  String log = "";
+  C(this.value);
+
+  void clearLog() {
+    log = "";
+  }
+
+  dynamic operator >(num other) {
+    log += "C($value)>$other;";
+    return this.value - other;
+  }
+}
+
+String test1(C c) {
+  switch (c) {
+    case > 1:
+      return "1";
+    default:
+      return "no match";
+  }
+}
+
+main() {
+  C c1 = C(0);
+  C c2 = C(2);
+  throws(() {
+    test1(c1);
+  });
+}
+
+throws(void Function() f) {
+  try {
+    f();
+  } catch (e) {
+    print(e);
+    return;
+  }
+  throw 'Missing exception';
+}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.strong.expect
@ -0,0 +1,59 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log = "";
+  constructor •(core::int value) → self::C
+    : self::C::value = value, super core::Object::•()
+    ;
+  method clearLog() → void {
+    this.{self::C::log} = "";
+  }
+  operator >(core::num other) → dynamic {
+    this.{self::C::log} = this.{self::C::log}{core::String}.{core::String::+}("C(${this.{self::C::value}{core::int}})>${other};"){(core::String) → core::String};
+    return this.{self::C::value}{core::int}.{core::num::-}(other){(core::num) → core::num};
+  }
+}
+static method test1(self::C c) → core::String {
+  #L1:
+  {
+    final synthesized self::C #0#0 = c;
+    {
+      if(#0#0.{self::C::>}(#C1){(core::num) → dynamic} as{ForNonNullableByDefault} core::bool) {
+        {
+          return "1";
+        }
+      }
+    }
+    {
+      {
+        {
+          return "no match";
+        }
+      }
+    }
+  }
+}
+static method main() → dynamic {
+  self::C c1 = new self::C::•(0);
+  self::C c2 = new self::C::•(2);
+  self::throws(() → void {
+    self::test1(c1);
+  });
+}
+static method throws(() → void f) → dynamic {
+  try {
+    f(){() → void};
+  }
+  on core::Object catch(final core::Object e) {
+    core::print(e);
+    return;
+  }
+  throw "Missing exception";
+}
+
+constants  {
+  #C1 = 1
+}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.strong.transformed.expect
@ -0,0 +1,59 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log = "";
+  constructor •(core::int value) → self::C
+    : self::C::value = value, super core::Object::•()
+    ;
+  method clearLog() → void {
+    this.{self::C::log} = "";
+  }
+  operator >(core::num other) → dynamic {
+    this.{self::C::log} = this.{self::C::log}{core::String}.{core::String::+}("C(${this.{self::C::value}{core::int}})>${other};"){(core::String) → core::String};
+    return this.{self::C::value}{core::int}.{core::num::-}(other){(core::num) → core::num};
+  }
+}
+static method test1(self::C c) → core::String {
+  #L1:
+  {
+    final synthesized self::C #0#0 = c;
+    {
+      if(#0#0.{self::C::>}(#C1){(core::num) → dynamic} as{ForNonNullableByDefault} core::bool) {
+        {
+          return "1";
+        }
+      }
+    }
+    {
+      {
+        {
+          return "no match";
+        }
+      }
+    }
+  }
+}
+static method main() → dynamic {
+  self::C c1 = new self::C::•(0);
+  self::C c2 = new self::C::•(2);
+  self::throws(() → void {
+    self::test1(c1);
+  });
+}
+static method throws(() → void f) → dynamic {
+  try {
+    f(){() → void};
+  }
+  on core::Object catch(final core::Object e) {
+    core::print(e);
+    return;
+  }
+  throw "Missing exception";
+}
+
+constants  {
+  #C1 = 1
+}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.textual_outline.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.textual_outline.expect
@ -0,0 +1,11 @@
+class C {
+  final int value;
+  String log = "";
+  C(this.value);
+  void clearLog() {}
+  dynamic operator >(num other) {}
+}
+
+String test1(C c) {}
+main() {}
+throws(void Function() f) {}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.textual_outline_modelled.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.textual_outline_modelled.expect
@ -0,0 +1,12 @@
+String test1(C c) {}
+
+class C {
+  C(this.value);
+  String log = "";
+  dynamic operator >(num other) {}
+  final int value;
+  void clearLog() {}
+}
+
+main() {}
+throws(void Function() f) {}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.expect
@ -0,0 +1,59 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log = "";
+  constructor •(core::int value) → self::C
+    : self::C::value = value, super core::Object::•()
+    ;
+  method clearLog() → void {
+    this.{self::C::log} = "";
+  }
+  operator >(core::num other) → dynamic {
+    this.{self::C::log} = this.{self::C::log}{core::String}.{core::String::+}("C(${this.{self::C::value}{core::int}})>${other};"){(core::String) → core::String};
+    return this.{self::C::value}{core::int}.{core::num::-}(other){(core::num) → core::num};
+  }
+}
+static method test1(self::C c) → core::String {
+  #L1:
+  {
+    final synthesized self::C #0#0 = c;
+    {
+      if(#0#0.{self::C::>}(#C1){(core::num) → dynamic} as{ForNonNullableByDefault} core::bool) {
+        {
+          return "1";
+        }
+      }
+    }
+    {
+      {
+        {
+          return "no match";
+        }
+      }
+    }
+  }
+}
+static method main() → dynamic {
+  self::C c1 = new self::C::•(0);
+  self::C c2 = new self::C::•(2);
+  self::throws(() → void {
+    self::test1(c1);
+  });
+}
+static method throws(() → void f) → dynamic {
+  try {
+    f(){() → void};
+  }
+  on core::Object catch(final core::Object e) {
+    core::print(e);
+    return;
+  }
+  throw "Missing exception";
+}
+
+constants  {
+  #C1 = 1
+}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.modular.expect
@ -0,0 +1,59 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log = "";
+  constructor •(core::int value) → self::C
+    : self::C::value = value, super core::Object::•()
+    ;
+  method clearLog() → void {
+    this.{self::C::log} = "";
+  }
+  operator >(core::num other) → dynamic {
+    this.{self::C::log} = this.{self::C::log}{core::String}.{core::String::+}("C(${this.{self::C::value}{core::int}})>${other};"){(core::String) → core::String};
+    return this.{self::C::value}{core::int}.{core::num::-}(other){(core::num) → core::num};
+  }
+}
+static method test1(self::C c) → core::String {
+  #L1:
+  {
+    final synthesized self::C #0#0 = c;
+    {
+      if(#0#0.{self::C::>}(#C1){(core::num) → dynamic} as{ForNonNullableByDefault} core::bool) {
+        {
+          return "1";
+        }
+      }
+    }
+    {
+      {
+        {
+          return "no match";
+        }
+      }
+    }
+  }
+}
+static method main() → dynamic {
+  self::C c1 = new self::C::•(0);
+  self::C c2 = new self::C::•(2);
+  self::throws(() → void {
+    self::test1(c1);
+  });
+}
+static method throws(() → void f) → dynamic {
+  try {
+    f(){() → void};
+  }
+  on core::Object catch(final core::Object e) {
+    core::print(e);
+    return;
+  }
+  throw "Missing exception";
+}
+
+constants  {
+  #C1 = 1
+}
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.outline.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.outline.expect
@ -0,0 +1,20 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log;
+  constructor •(core::int value) → self::C
+    ;
+  method clearLog() → void
+    ;
+  operator >(core::num other) → dynamic
+    ;
+}
+static method test1(self::C c) → core::String
+  ;
+static method main() → dynamic
+  ;
+static method throws(() → void f) → dynamic
+  ;
--- a/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/issue51724_2.dart.weak.transformed.expect
@ -0,0 +1,59 @@
+library /*isNonNullableByDefault*/;
+import self as self;
+import "dart:core" as core;
+
+class C extends core::Object {
+  final field core::int value;
+  field core::String log = "";
+  constructor •(core::int value) → self::C
+    : self::C::value = value, super core::Object::•()
+    ;
+  method clearLog() → void {
+    this.{self::C::log} = "";
+  }
+  operator >(core::num other) → dynamic {
+    this.{self::C::log} = this.{self::C::log}{core::String}.{core::String::+}("C(${this.{self::C::value}{core::int}})>${other};"){(core::String) → core::String};
+    return this.{self::C::value}{core::int}.{core::num::-}(other){(core::num) → core::num};
+  }
+}
+static method test1(self::C c) → core::String {
+  #L1:
+  {
+    final synthesized self::C #0#0 = c;
+    {
+      if(#0#0.{self::C::>}(#C1){(core::num) → dynamic} as{ForNonNullableByDefault} core::bool) {
+        {
+          return "1";
+        }
+      }
+    }
+    {
+      {
+        {
+          return "no match";
+        }
+      }
+    }
+  }
+}
+static method main() → dynamic {
+  self::C c1 = new self::C::•(0);
+  self::C c2 = new self::C::•(2);
+  self::throws(() → void {
+    self::test1(c1);
+  });
+}
+static method throws(() → void f) → dynamic {
+  try {
+    f(){() → void};
+  }
+  on core::Object catch(final core::Object e) {
+    core::print(e);
+    return;
+  }
+  throw "Missing exception";
+}
+
+constants  {
+  #C1 = 1
+}
--- a/pkg/front_end/testcases/patterns/pattern_types.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/pattern_types.dart.strong.expect
@ -311,22 +311,22 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized dynamic #2#0 = dyn;
-    if(#2#0{dynamic}.<(#C1)) {
+    if(#2#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #3#0 = dyn;
-    if(#3#0{dynamic}.<=(#C1)) {
+    if(#3#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #4#0 = dyn;
-    if(#4#0{dynamic}.>(#C1)) {
+    if(#4#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #5#0 = dyn;
-    if(#5#0{dynamic}.>=(#C1)) {
+    if(#5#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
@ -400,7 +400,7 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized self::Class #19#0 = cls;
-    if(self::_extension#0|>=(#19#0, #C1)) {
+    if(self::_extension#0|>=(#19#0, #C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
--- a/pkg/front_end/testcases/patterns/pattern_types.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/pattern_types.dart.strong.transformed.expect
@ -0,0 +1,560 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:6:1: Error: 'Invalid' is imported from both 'pkg/front_end/testcases/patterns/pattern_types_lib1.dart' and 'pkg/front_end/testcases/patterns/pattern_types_lib2.dart'.
+// import 'pattern_types_lib2.dart';
+// ^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:84:20: Error: Undefined name 'field'.
+//     case Invalid(: field): // invalid get
+//                    ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:84:18: Error: The getter name is not specified explicitly, and the pattern is not a variable. Try specifying the getter name explicitly, or using a variable pattern.
+//     case Invalid(: field): // invalid get
+//                  ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+//     case Class(: var missing): // Error: missing getter
+//                ^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+//     case Class_(: var field): // Error: nullable member get
+//                 ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+//     case Class_(: var method): // Error: nullable member tear-off
+//                 ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+//     case Class_(: var extensionGetter): // Error: nullable extension member get
+//                 ^^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+//     case Class_(: var extensionMethod): // Error: nullable extension tear-off
+//                 ^^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+//     case Function1_(: var call): // Error: nullable function tear-off
+//                     ^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '$1' isn't defined for the class '(int, {String named})?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named '$1'.
+//     case Record1_(: var $1): // Error: nullable record index get
+//                   ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+//     case Record1_(: var named): // Error: nullable record named get
+//                   ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+//     case Class(: var ambiguousField): // Error: ambiguous get
+//                ^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case == const Class2()) {} // instance ==
+//                          ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case != const Class2()) {} // instance == negated
+//                          ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case < const Class2()) {} // instance <
+//                         ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:113:18: Error: The argument type 'String' can't be assigned to the parameter type 'int'.
+//   if (cls case < '0') {} // Error: invalid instance < argument
+//                  ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:115:16: Error: A value of type 'int' can't be assigned to a variable of type 'bool'.
+//   if (cls case > 0) {} // Error: invalid instance >
+//                ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:119:17: Error: The method '<' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing method, or defining a method named '<'.
+//   if (cls_ case < 0) {} // Error: nullable instance <
+//                 ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:120:17: Error: The method '<=' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing method, or defining a method named '<='.
+//   if (cls_ case <= 0) {} // Error: nullable extension <=
+//                 ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:121:19: Error: The method '<' isn't defined for the class 'String'.
+// Try correcting the name to the name of an existing method, or defining a method named '<'.
+//   if (string case < 0) {} // Error: missing <
+//                   ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:122:19: Error: The method '<=' isn't defined for the class 'String'.
+// Try correcting the name to the name of an existing method, or defining a method named '<='.
+//   if (string case <= 0) {} // Error: ambiguous <=
+//                   ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:126:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case == 0) {} // Error: invalid instance == argument
+//                    ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:128:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case != 0) {} // Error: invalid instance == argument negated
+//                    ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:130:19: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case < 0) {} // Error: invalid instance < argument
+//                   ^
+//
+import self as self;
+import "dart:core" as core;
+
+import "org-dartlang-testcase:///pattern_types_lib1.dart";
+import "org-dartlang-testcase:///pattern_types_lib2.dart";
+
+typedef Dynamic = dynamic;
+typedef Function1 = () → void;
+typedef Function1_ = () →? void;
+typedef Record1 = (core::int, {required named: core::String});
+typedef Record1_ = (core::int, {required named: core::String})?;
+typedef Class_ = self::Class?;
+class Class extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self::Class
+    : super core::Object::•()
+    ;
+  method method() → void {}
+  operator <(core::int i) → core::bool
+    return true;
+  operator >(core::int i) → core::int
+    return 0;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+class Class2 extends core::Object {
+  synthetic constructor •() → self::Class2
+    : super core::Object::•()
+    ;
+  operator <(self::Class2 i) → core::bool
+    return true;
+  operator ==(covariant-by-declaration self::Class2 other) → core::bool
+    return true;
+}
+extension /* unnamed */ _extension#0 on self::Class {
+  get extensionGetter = self::_extension#0|get#extensionGetter;
+  method extensionMethod = self::_extension#0|extensionMethod;
+  tearoff extensionMethod = self::_extension#0|get#extensionMethod;
+  operator <= = self::_extension#0|<=;
+  operator >= = self::_extension#0|>=;
+  get ambiguousField = self::_extension#0|get#ambiguousField;
+}
+extension /* unnamed */ _extension#1 on self::Class {
+  get ambiguousField = self::_extension#1|get#ambiguousField;
+}
+extension /* unnamed */ _extension#2 on core::String {
+  operator <= = self::_extension#2|<=;
+}
+extension /* unnamed */ _extension#3 on core::String {
+  operator <= = self::_extension#3|<=;
+}
+static method _extension#0|get#extensionGetter(lowered final self::Class #this) → core::int
+  return 42;
+static method _extension#0|extensionMethod(lowered final self::Class #this) → void {}
+static method _extension#0|get#extensionMethod(lowered final self::Class #this) → () → void
+  return () → void => self::_extension#0|extensionMethod(#this);
+static method _extension#0|<=(lowered final self::Class #this, core::int i) → core::bool
+  return true;
+static method _extension#0|>=(lowered final self::Class #this, core::int i) → core::int
+  return 0;
+static method _extension#0|get#ambiguousField(lowered final self::Class #this) → core::int
+  return 42;
+static method _extension#1|get#ambiguousField(lowered final self::Class #this) → core::String
+  return "42";
+static method _extension#2|<=(lowered final core::String #this, dynamic other) → core::bool
+  return true;
+static method _extension#3|<=(lowered final core::String #this, dynamic other) → core::bool
+  return true;
+static method objectPattern(dynamic o) → dynamic {
+  #L1:
+  {
+    final synthesized dynamic #0#0 = o;
+    synthesized dynamic #0#5;
+    synthesized core::bool #0#5#isSet = false;
+    synthesized dynamic #0#6;
+    synthesized core::bool #0#6#isSet = false;
+    synthesized dynamic #0#12;
+    synthesized core::bool #0#12#isSet = false;
+    synthesized dynamic #0#14;
+    synthesized core::bool #0#14#isSet = false;
+    synthesized dynamic #0#15;
+    synthesized core::bool #0#15#isSet = false;
+    {
+      core::int hashCode;
+      () → core::String toString;
+      lowered dynamic field#case#0;
+      lowered () → void method#case#0;
+      lowered dynamic extensionGetter#case#0;
+      lowered dynamic extensionMethod#case#0;
+      dynamic dynamicAccess;
+      lowered () → void call#case#0;
+      lowered core::int $1#case#0;
+      lowered core::String named#case#0;
+      dynamic missing;
+      lowered dynamic field#case#1;
+      lowered () → void method#case#1;
+      lowered dynamic extensionGetter#case#1;
+      lowered dynamic extensionMethod#case#1;
+      lowered () →? void call#case#1;
+      lowered core::int $1#case#1;
+      lowered core::String named#case#1;
+      dynamic ambiguousField;
+      if(#0#0 is{ForNonNullableByDefault} Null && (let final core::int #t1 = hashCode = #0#0{Null}.{core::Object::hashCode}{core::int} in true) || #0#0 is{ForNonNullableByDefault} Null && (let final () → core::String #t2 = toString = #0#0{Null}.{core::Object::toString}{() → core::String} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = field#case#0 = #0#5#isSet ?{dynamic} #0#5{dynamic} : let final core::bool* #t4 = #0#5#isSet = true in #0#5 = #0#0{self::Class}.{self::Class::field}{dynamic} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final () → void #t5 = method#case#0 = #0#6#isSet ?{() → void} #0#6{() → void} : let final core::bool* #t6 = #0#6#isSet = true in #0#6 = #0#0{self::Class}.{self::Class::method}{() → void} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int #t7 = extensionGetter#case#0 = self::_extension#0|get#extensionGetter(#0#0{self::Class}) in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final void #t8 = extensionMethod#case#0 = self::_extension#0|extensionMethod(#0#0{self::Class}) in true) || #0#0 is{ForNonNullableByDefault} dynamic && (let final dynamic #t9 = dynamicAccess = #0#0{dynamic}.dynamicAccess in true) || #0#0 is{ForNonNullableByDefault} () → void && (let final () → void #t10 = call#case#0 = #0#12#isSet ?{() → void} #0#12{() → void} : let final core::bool* #t11 = #0#12#isSet = true in #0#12 = #0#0{() → void}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String}) && (let final core::int #t12 = $1#case#0 = #0#14#isSet ?{core::int} #0#14{core::int} : let final core::bool* #t13 = #0#14#isSet = true in #0#14 = #0#0{(core::int, {required named: core::String})}.$1{core::int} in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String}) && (let final core::String #t14 = named#case#0 = #0#15#isSet ?{core::String} #0#15{core::String} : let final core::bool* #t15 = #0#15#isSet = true in #0#15 = #0#0{(core::int, {required named: core::String})}.named{core::String} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final invalid-type #t16 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+    case Class(: var missing): // Error: missing getter
+               ^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+    case Class(: var missing): // Error: missing getter
+               ^^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t17 = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final core::bool* #t18 = #0#5#isSet = true in #0#5 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+    case Class_(: var field): // Error: nullable member get
+                ^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+    case Class_(: var field): // Error: nullable member get
+                ^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t19 = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final core::bool* #t20 = #0#6#isSet = true in #0#6 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+    case Class_(: var method): // Error: nullable member tear-off
+                ^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+    case Class_(: var method): // Error: nullable member tear-off
+                ^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t21 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+    case Class_(: var extensionGetter): // Error: nullable extension member get
+                ^^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+    case Class_(: var extensionGetter): // Error: nullable extension member get
+                ^^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t22 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+    case Class_(: var extensionMethod): // Error: nullable extension tear-off
+                ^^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+    case Class_(: var extensionMethod): // Error: nullable extension tear-off
+                ^^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} () →? void && (let final invalid-type #t23 = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final core::bool* #t24 = #0#12#isSet = true in #0#12 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+    case Function1_(: var call): // Error: nullable function tear-off
+                    ^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+    case Function1_(: var call): // Error: nullable function tear-off
+                    ^^^^") || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final invalid-type #t25 = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final core::bool* #t26 = #0#14#isSet = true in #0#14 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '\$1' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named '\$1'.
+    case Record1_(: var \$1): // Error: nullable record index get
+                  ^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '\$1' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named '\$1'.
+    case Record1_(: var \$1): // Error: nullable record index get
+                  ^^") || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final invalid-type #t27 = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final core::bool* #t28 = #0#15#isSet = true in #0#15 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+    case Record1_(: var named): // Error: nullable record named get
+                  ^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+    case Record1_(: var named): // Error: nullable record named get
+                  ^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class && (let final invalid-type #t29 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+    case Class(: var ambiguousField): // Error: ambiguous get
+               ^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+    case Class(: var ambiguousField): // Error: ambiguous get
+               ^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} invalid-type) {
+      }
+    }
+  }
+}
+static method relationalPattern(dynamic dyn, Never never, self::Class cls, self::Class? cls_, invalid-type invalid, core::String string, self::Class2 cls2, self::Class2? cls2_) → dynamic {
+  {
+    final synthesized dynamic #0#0 = dyn;
+    if(#0#0 =={core::Object::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized dynamic #1#0 = dyn;
+    if(!(#1#0 =={core::Object::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized dynamic #2#0 = dyn;
+    if(#2#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #3#0 = dyn;
+    if(#3#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #4#0 = dyn;
+    if(#4#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #5#0 = dyn;
+    if(#5#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized Never #6#0 = never;
+    if(#6#0 =={core::Object::==}{(dynamic) → Never} #C1) {
+    }
+  }
+  {
+    final synthesized Never #7#0 = never;
+    if(!(#7#0 =={core::Object::==}{(dynamic) → Never} #C1)) {
+    }
+  }
+  {
+    final synthesized Never #8#0 = never;
+    if(#8#0{Never}.<(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #9#0 = never;
+    if(#9#0{Never}.<=(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #10#0 = never;
+    if(#10#0{Never}.>(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #11#0 = never;
+    if(#11#0{Never}.>=(#C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #12#0 = cls;
+    if(#12#0 =={self::Class::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized self::Class #13#0 = cls;
+    if(!(#13#0 =={self::Class::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #14#0 = cls;
+    if(#14#0.{self::Class::<}(#C1){(core::int) → core::bool}) {
+    }
+  }
+  {
+    final synthesized self::Class #15#0 = cls;
+    if(self::_extension#0|<=(#15#0, #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #16#0 = cls;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:113:18: Error: The argument type 'String' can't be assigned to the parameter type 'int'.
+  if (cls case < '0') {} // Error: invalid instance < argument
+                 ^") {
+    }
+  }
+  {
+    final synthesized self::Class #17#0 = cls;
+    if(self::_extension#0|<=(#17#0, #C2 as{ForNonNullableByDefault} core::int)) {
+    }
+  }
+  {
+    final synthesized self::Class #18#0 = cls;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:115:16: Error: A value of type 'int' can't be assigned to a variable of type 'bool'.
+  if (cls case > 0) {} // Error: invalid instance >
+               ^") {
+    }
+  }
+  {
+    final synthesized self::Class #19#0 = cls;
+    if(self::_extension#0|>=(#19#0, #C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized self::Class? #20#0 = cls_;
+    if(#20#0 =={self::Class::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized self::Class? #21#0 = cls_;
+    if(!(#21#0 =={self::Class::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class? #22#0 = cls_;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:119:17: Error: The method '<' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing method, or defining a method named '<'.
+  if (cls_ case < 0) {} // Error: nullable instance <
+                ^") {
+    }
+  }
+  {
+    final synthesized self::Class? #23#0 = cls_;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:120:17: Error: The method '<=' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing method, or defining a method named '<='.
+  if (cls_ case <= 0) {} // Error: nullable extension <=
+                ^^") {
+    }
+  }
+  {
+    final synthesized core::String #24#0 = string;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:121:19: Error: The method '<' isn't defined for the class 'String'.
+Try correcting the name to the name of an existing method, or defining a method named '<'.
+  if (string case < 0) {} // Error: missing <
+                  ^") {
+    }
+  }
+  {
+    final synthesized core::String #25#0 = string;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:122:19: Error: The method '<=' isn't defined for the class 'String'.
+Try correcting the name to the name of an existing method, or defining a method named '<='.
+  if (string case <= 0) {} // Error: ambiguous <=
+                  ^^") {
+    }
+  }
+  {
+    final synthesized invalid-type #26#0 = invalid;
+    if(#26#0 =={core::Object::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized invalid-type #27#0 = invalid;
+    if(#27#0{<invalid>}.<(#C1)) {
+    }
+  }
+  {
+    final synthesized self::Class2 #28#0 = cls2;
+    final const synthesized invalid-type #28#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case == const Class2()) {} // instance ==
+                         ^^^^^^";
+    if(#28#0 =={self::Class2::==}{(self::Class2) → core::bool} invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case == const Class2()) {} // instance ==
+                         ^^^^^^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #29#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:126:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case == 0) {} // Error: invalid instance == argument
+                   ^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #30#0 = cls2;
+    final const synthesized invalid-type #30#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case != const Class2()) {} // instance == negated
+                         ^^^^^^";
+    if(!(#30#0 =={self::Class2::==}{(self::Class2) → core::bool} invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case != const Class2()) {} // instance == negated
+                         ^^^^^^")) {
+    }
+  }
+  {
+    final synthesized self::Class2 #31#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:128:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case != 0) {} // Error: invalid instance == argument negated
+                   ^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #32#0 = cls2;
+    final const synthesized invalid-type #32#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case < const Class2()) {} // instance <
+                        ^^^^^^";
+    if(#32#0.{self::Class2::<}(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case < const Class2()) {} // instance <
+                        ^^^^^^"){(self::Class2) → core::bool}) {
+    }
+  }
+  {
+    final synthesized self::Class2 #33#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:130:19: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case < 0) {} // Error: invalid instance < argument
+                  ^") {
+    }
+  }
+  {
+    final synthesized self::Class2? #34#0 = cls2_;
+    if(#34#0 == null) {
+    }
+  }
+}
+
+library /*isNonNullableByDefault*/;
+import self as self2;
+import "dart:core" as core;
+
+class Invalid extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self2::Invalid
+    : super core::Object::•()
+    ;
+  operator <(dynamic other) → dynamic
+    return true;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+
+library /*isNonNullableByDefault*/;
+import self as self3;
+import "dart:core" as core;
+
+class Invalid extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self3::Invalid
+    : super core::Object::•()
+    ;
+  operator <(dynamic other) → dynamic
+    return true;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "0"
+}
--- a/pkg/front_end/testcases/patterns/pattern_types.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/pattern_types.dart.weak.expect
@ -312,22 +312,22 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized dynamic #2#0 = dyn;
-    if(#2#0{dynamic}.<(#C1)) {
+    if(#2#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #3#0 = dyn;
-    if(#3#0{dynamic}.<=(#C1)) {
+    if(#3#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #4#0 = dyn;
-    if(#4#0{dynamic}.>(#C1)) {
+    if(#4#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #5#0 = dyn;
-    if(#5#0{dynamic}.>=(#C1)) {
+    if(#5#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
@ -401,7 +401,7 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized self::Class #19#0 = cls;
-    if(self::_extension#0|>=(#19#0, #C1)) {
+    if(self::_extension#0|>=(#19#0, #C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
--- a/pkg/front_end/testcases/patterns/pattern_types.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/pattern_types.dart.weak.modular.expect
@ -312,22 +312,22 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized dynamic #2#0 = dyn;
-    if(#2#0{dynamic}.<(#C1)) {
+    if(#2#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #3#0 = dyn;
-    if(#3#0{dynamic}.<=(#C1)) {
+    if(#3#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #4#0 = dyn;
-    if(#4#0{dynamic}.>(#C1)) {
+    if(#4#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #5#0 = dyn;
-    if(#5#0{dynamic}.>=(#C1)) {
+    if(#5#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
@ -401,7 +401,7 @@ static method relationalPattern(dynamic dyn, Never never, self::Class cls, self:
  }
  {
    final synthesized self::Class #19#0 = cls;
-    if(self::_extension#0|>=(#19#0, #C1)) {
+    if(self::_extension#0|>=(#19#0, #C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
--- a/pkg/front_end/testcases/patterns/pattern_types.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/pattern_types.dart.weak.transformed.expect
@ -0,0 +1,561 @@
+library /*isNonNullableByDefault*/;
+//
+// Problems in library:
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:6:1: Error: 'Invalid' is imported from both 'pkg/front_end/testcases/patterns/pattern_types_lib1.dart' and 'pkg/front_end/testcases/patterns/pattern_types_lib2.dart'.
+// import 'pattern_types_lib2.dart';
+// ^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:84:20: Error: Undefined name 'field'.
+//     case Invalid(: field): // invalid get
+//                    ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:84:18: Error: The getter name is not specified explicitly, and the pattern is not a variable. Try specifying the getter name explicitly, or using a variable pattern.
+//     case Invalid(: field): // invalid get
+//                  ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+//     case Class(: var missing): // Error: missing getter
+//                ^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+//     case Class_(: var field): // Error: nullable member get
+//                 ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+//     case Class_(: var method): // Error: nullable member tear-off
+//                 ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+//     case Class_(: var extensionGetter): // Error: nullable extension member get
+//                 ^^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+//     case Class_(: var extensionMethod): // Error: nullable extension tear-off
+//                 ^^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+//     case Function1_(: var call): // Error: nullable function tear-off
+//                     ^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '$1' isn't defined for the class '(int, {String named})?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named '$1'.
+//     case Record1_(: var $1): // Error: nullable record index get
+//                   ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+//     case Record1_(: var named): // Error: nullable record named get
+//                   ^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+//     case Class(: var ambiguousField): // Error: ambiguous get
+//                ^^^^^^^^^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case == const Class2()) {} // instance ==
+//                          ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case != const Class2()) {} // instance == negated
+//                          ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+// Try using a constructor or factory that is 'const'.
+//   if (cls2 case < const Class2()) {} // instance <
+//                         ^^^^^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:113:18: Error: The argument type 'String' can't be assigned to the parameter type 'int'.
+//   if (cls case < '0') {} // Error: invalid instance < argument
+//                  ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:115:16: Error: A value of type 'int' can't be assigned to a variable of type 'bool'.
+//   if (cls case > 0) {} // Error: invalid instance >
+//                ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:119:17: Error: The method '<' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing method, or defining a method named '<'.
+//   if (cls_ case < 0) {} // Error: nullable instance <
+//                 ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:120:17: Error: The method '<=' isn't defined for the class 'Class?'.
+//  - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+// Try correcting the name to the name of an existing method, or defining a method named '<='.
+//   if (cls_ case <= 0) {} // Error: nullable extension <=
+//                 ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:121:19: Error: The method '<' isn't defined for the class 'String'.
+// Try correcting the name to the name of an existing method, or defining a method named '<'.
+//   if (string case < 0) {} // Error: missing <
+//                   ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:122:19: Error: The method '<=' isn't defined for the class 'String'.
+// Try correcting the name to the name of an existing method, or defining a method named '<='.
+//   if (string case <= 0) {} // Error: ambiguous <=
+//                   ^^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:126:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case == 0) {} // Error: invalid instance == argument
+//                    ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:128:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case != 0) {} // Error: invalid instance == argument negated
+//                    ^
+//
+// pkg/front_end/testcases/patterns/pattern_types.dart:130:19: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+//  - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+//   if (cls2 case < 0) {} // Error: invalid instance < argument
+//                   ^
+//
+import self as self;
+import "dart:core" as core;
+import "dart:_internal" as _in;
+
+import "org-dartlang-testcase:///pattern_types_lib1.dart";
+import "org-dartlang-testcase:///pattern_types_lib2.dart";
+
+typedef Dynamic = dynamic;
+typedef Function1 = () → void;
+typedef Function1_ = () →? void;
+typedef Record1 = (core::int, {required named: core::String});
+typedef Record1_ = (core::int, {required named: core::String})?;
+typedef Class_ = self::Class?;
+class Class extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self::Class
+    : super core::Object::•()
+    ;
+  method method() → void {}
+  operator <(core::int i) → core::bool
+    return true;
+  operator >(core::int i) → core::int
+    return 0;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+class Class2 extends core::Object {
+  synthetic constructor •() → self::Class2
+    : super core::Object::•()
+    ;
+  operator <(self::Class2 i) → core::bool
+    return true;
+  operator ==(covariant-by-declaration self::Class2 other) → core::bool
+    return true;
+}
+extension /* unnamed */ _extension#0 on self::Class {
+  get extensionGetter = self::_extension#0|get#extensionGetter;
+  method extensionMethod = self::_extension#0|extensionMethod;
+  tearoff extensionMethod = self::_extension#0|get#extensionMethod;
+  operator <= = self::_extension#0|<=;
+  operator >= = self::_extension#0|>=;
+  get ambiguousField = self::_extension#0|get#ambiguousField;
+}
+extension /* unnamed */ _extension#1 on self::Class {
+  get ambiguousField = self::_extension#1|get#ambiguousField;
+}
+extension /* unnamed */ _extension#2 on core::String {
+  operator <= = self::_extension#2|<=;
+}
+extension /* unnamed */ _extension#3 on core::String {
+  operator <= = self::_extension#3|<=;
+}
+static method _extension#0|get#extensionGetter(lowered final self::Class #this) → core::int
+  return 42;
+static method _extension#0|extensionMethod(lowered final self::Class #this) → void {}
+static method _extension#0|get#extensionMethod(lowered final self::Class #this) → () → void
+  return () → void => self::_extension#0|extensionMethod(#this);
+static method _extension#0|<=(lowered final self::Class #this, core::int i) → core::bool
+  return true;
+static method _extension#0|>=(lowered final self::Class #this, core::int i) → core::int
+  return 0;
+static method _extension#0|get#ambiguousField(lowered final self::Class #this) → core::int
+  return 42;
+static method _extension#1|get#ambiguousField(lowered final self::Class #this) → core::String
+  return "42";
+static method _extension#2|<=(lowered final core::String #this, dynamic other) → core::bool
+  return true;
+static method _extension#3|<=(lowered final core::String #this, dynamic other) → core::bool
+  return true;
+static method objectPattern(dynamic o) → dynamic {
+  #L1:
+  {
+    final synthesized dynamic #0#0 = o;
+    synthesized dynamic #0#5;
+    synthesized core::bool #0#5#isSet = false;
+    synthesized dynamic #0#6;
+    synthesized core::bool #0#6#isSet = false;
+    synthesized dynamic #0#12;
+    synthesized core::bool #0#12#isSet = false;
+    synthesized dynamic #0#14;
+    synthesized core::bool #0#14#isSet = false;
+    synthesized dynamic #0#15;
+    synthesized core::bool #0#15#isSet = false;
+    {
+      core::int hashCode;
+      () → core::String toString;
+      lowered dynamic field#case#0;
+      lowered () → void method#case#0;
+      lowered dynamic extensionGetter#case#0;
+      lowered dynamic extensionMethod#case#0;
+      dynamic dynamicAccess;
+      lowered () → void call#case#0;
+      lowered core::int $1#case#0;
+      lowered core::String named#case#0;
+      dynamic missing;
+      lowered dynamic field#case#1;
+      lowered () → void method#case#1;
+      lowered dynamic extensionGetter#case#1;
+      lowered dynamic extensionMethod#case#1;
+      lowered () →? void call#case#1;
+      lowered core::int $1#case#1;
+      lowered core::String named#case#1;
+      dynamic ambiguousField;
+      if(#0#0 is{ForNonNullableByDefault} Null && (let final core::int #t1 = hashCode = #0#0{Null}.{core::Object::hashCode}{core::int} in true) || #0#0 is{ForNonNullableByDefault} Null && (let final () → core::String #t2 = toString = #0#0{Null}.{core::Object::toString}{() → core::String} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = field#case#0 = #0#5#isSet ?{dynamic} #0#5{dynamic} : let final core::bool* #t4 = #0#5#isSet = true in #0#5 = #0#0{self::Class}.{self::Class::field}{dynamic} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final () → void #t5 = method#case#0 = #0#6#isSet ?{() → void} #0#6{() → void} : let final core::bool* #t6 = #0#6#isSet = true in #0#6 = #0#0{self::Class}.{self::Class::method}{() → void} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int #t7 = extensionGetter#case#0 = self::_extension#0|get#extensionGetter(#0#0{self::Class}) in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final void #t8 = extensionMethod#case#0 = self::_extension#0|extensionMethod(#0#0{self::Class}) in true) || #0#0 is{ForNonNullableByDefault} dynamic && (let final dynamic #t9 = dynamicAccess = #0#0{dynamic}.dynamicAccess in true) || #0#0 is{ForNonNullableByDefault} () → void && (let final () → void #t10 = call#case#0 = #0#12#isSet ?{() → void} #0#12{() → void} : let final core::bool* #t11 = #0#12#isSet = true in #0#12 = #0#0{() → void}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String}) && (let final core::int #t12 = $1#case#0 = #0#14#isSet ?{core::int} #0#14{core::int} : let final core::bool* #t13 = #0#14#isSet = true in #0#14 = #0#0{(core::int, {required named: core::String})}.$1{core::int} in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String}) && (let final core::String #t14 = named#case#0 = #0#15#isSet ?{core::String} #0#15{core::String} : let final core::bool* #t15 = #0#15#isSet = true in #0#15 = #0#0{(core::int, {required named: core::String})}.named{core::String} in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final invalid-type #t16 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+    case Class(: var missing): // Error: missing getter
+               ^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:75:16: Error: The getter 'missing' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'missing'.
+    case Class(: var missing): // Error: missing getter
+               ^^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t17 = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final core::bool* #t18 = #0#5#isSet = true in #0#5 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+    case Class_(: var field): // Error: nullable member get
+                ^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:76:17: Error: The getter 'field' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'field'.
+    case Class_(: var field): // Error: nullable member get
+                ^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t19 = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final core::bool* #t20 = #0#6#isSet = true in #0#6 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+    case Class_(: var method): // Error: nullable member tear-off
+                ^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:77:17: Error: The getter 'method' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'method'.
+    case Class_(: var method): // Error: nullable member tear-off
+                ^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t21 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+    case Class_(: var extensionGetter): // Error: nullable extension member get
+                ^^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionGetter'.
+    case Class_(: var extensionGetter): // Error: nullable extension member get
+                ^^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class? && (let final invalid-type #t22 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+    case Class_(: var extensionMethod): // Error: nullable extension tear-off
+                ^^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'extensionMethod'.
+    case Class_(: var extensionMethod): // Error: nullable extension tear-off
+                ^^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} () →? void && (let final invalid-type #t23 = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final core::bool* #t24 = #0#12#isSet = true in #0#12 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+    case Function1_(: var call): // Error: nullable function tear-off
+                    ^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:80:21: Error: The getter 'call' isn't defined for the class 'void Function()?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'call'.
+    case Function1_(: var call): // Error: nullable function tear-off
+                    ^^^^") || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final invalid-type #t25 = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final core::bool* #t26 = #0#14#isSet = true in #0#14 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '\$1' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named '\$1'.
+    case Record1_(: var \$1): // Error: nullable record index get
+                  ^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:81:19: Error: The getter '\$1' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named '\$1'.
+    case Record1_(: var \$1): // Error: nullable record index get
+                  ^^") || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final invalid-type #t27 = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final core::bool* #t28 = #0#15#isSet = true in #0#15 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+    case Record1_(: var named): // Error: nullable record named get
+                  ^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:82:19: Error: The getter 'named' isn't defined for the class '(int, {String named})?'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'named'.
+    case Record1_(: var named): // Error: nullable record named get
+                  ^^^^^") || #0#0 is{ForNonNullableByDefault} self::Class && (let final invalid-type #t29 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+    case Class(: var ambiguousField): // Error: ambiguous get
+               ^^^^^^^^^^^^^^" in invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing getter, or defining a getter or field named 'ambiguousField'.
+    case Class(: var ambiguousField): // Error: ambiguous get
+               ^^^^^^^^^^^^^^") || #0#0 is{ForNonNullableByDefault} invalid-type) {
+      }
+    }
+  }
+}
+static method relationalPattern(dynamic dyn, Never never, self::Class cls, self::Class? cls_, invalid-type invalid, core::String string, self::Class2 cls2, self::Class2? cls2_) → dynamic {
+  {
+    final synthesized dynamic #0#0 = dyn;
+    if(#0#0 =={core::Object::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized dynamic #1#0 = dyn;
+    if(!(#1#0 =={core::Object::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized dynamic #2#0 = dyn;
+    if(#2#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #3#0 = dyn;
+    if(#3#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #4#0 = dyn;
+    if(#4#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized dynamic #5#0 = dyn;
+    if(#5#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized Never #6#0 = let final Never #t30 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(#6#0 =={core::Object::==}{(dynamic) → Never} #C1) {
+    }
+  }
+  {
+    final synthesized Never #7#0 = let final Never #t31 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(!(#7#0 =={core::Object::==}{(dynamic) → Never} #C1)) {
+    }
+  }
+  {
+    final synthesized Never #8#0 = let final Never #t32 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(#8#0{Never}.<(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #9#0 = let final Never #t33 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(#9#0{Never}.<=(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #10#0 = let final Never #t34 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(#10#0{Never}.>(#C1)) {
+    }
+  }
+  {
+    final synthesized Never #11#0 = let final Never #t35 = never in throw new _in::ReachabilityError::•("`null` encountered as the result from expression with type `Never`.");
+    if(#11#0{Never}.>=(#C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #12#0 = cls;
+    if(#12#0 =={self::Class::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized self::Class #13#0 = cls;
+    if(!(#13#0 =={self::Class::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #14#0 = cls;
+    if(#14#0.{self::Class::<}(#C1){(core::int) → core::bool}) {
+    }
+  }
+  {
+    final synthesized self::Class #15#0 = cls;
+    if(self::_extension#0|<=(#15#0, #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class #16#0 = cls;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:113:18: Error: The argument type 'String' can't be assigned to the parameter type 'int'.
+  if (cls case < '0') {} // Error: invalid instance < argument
+                 ^") {
+    }
+  }
+  {
+    final synthesized self::Class #17#0 = cls;
+    if(self::_extension#0|<=(#17#0, #C2 as{ForNonNullableByDefault} core::int)) {
+    }
+  }
+  {
+    final synthesized self::Class #18#0 = cls;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:115:16: Error: A value of type 'int' can't be assigned to a variable of type 'bool'.
+  if (cls case > 0) {} // Error: invalid instance >
+               ^") {
+    }
+  }
+  {
+    final synthesized self::Class #19#0 = cls;
+    if(self::_extension#0|>=(#19#0, #C1) as{ForNonNullableByDefault} core::bool) {
+    }
+  }
+  {
+    final synthesized self::Class? #20#0 = cls_;
+    if(#20#0 =={self::Class::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized self::Class? #21#0 = cls_;
+    if(!(#21#0 =={self::Class::==}{(core::Object) → core::bool} #C1)) {
+    }
+  }
+  {
+    final synthesized self::Class? #22#0 = cls_;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:119:17: Error: The method '<' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing method, or defining a method named '<'.
+  if (cls_ case < 0) {} // Error: nullable instance <
+                ^") {
+    }
+  }
+  {
+    final synthesized self::Class? #23#0 = cls_;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:120:17: Error: The method '<=' isn't defined for the class 'Class?'.
+ - 'Class' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+Try correcting the name to the name of an existing method, or defining a method named '<='.
+  if (cls_ case <= 0) {} // Error: nullable extension <=
+                ^^") {
+    }
+  }
+  {
+    final synthesized core::String #24#0 = string;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:121:19: Error: The method '<' isn't defined for the class 'String'.
+Try correcting the name to the name of an existing method, or defining a method named '<'.
+  if (string case < 0) {} // Error: missing <
+                  ^") {
+    }
+  }
+  {
+    final synthesized core::String #25#0 = string;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:122:19: Error: The method '<=' isn't defined for the class 'String'.
+Try correcting the name to the name of an existing method, or defining a method named '<='.
+  if (string case <= 0) {} // Error: ambiguous <=
+                  ^^") {
+    }
+  }
+  {
+    final synthesized invalid-type #26#0 = invalid;
+    if(#26#0 =={core::Object::==}{(core::Object) → core::bool} #C1) {
+    }
+  }
+  {
+    final synthesized invalid-type #27#0 = invalid;
+    if(#27#0{<invalid>}.<(#C1)) {
+    }
+  }
+  {
+    final synthesized self::Class2 #28#0 = cls2;
+    final const synthesized invalid-type #28#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case == const Class2()) {} // instance ==
+                         ^^^^^^";
+    if(#28#0 =={self::Class2::==}{(self::Class2) → core::bool} invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:125:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case == const Class2()) {} // instance ==
+                         ^^^^^^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #29#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:126:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case == 0) {} // Error: invalid instance == argument
+                   ^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #30#0 = cls2;
+    final const synthesized invalid-type #30#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case != const Class2()) {} // instance == negated
+                         ^^^^^^";
+    if(!(#30#0 =={self::Class2::==}{(self::Class2) → core::bool} invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:127:26: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case != const Class2()) {} // instance == negated
+                         ^^^^^^")) {
+    }
+  }
+  {
+    final synthesized self::Class2 #31#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:128:20: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case != 0) {} // Error: invalid instance == argument negated
+                   ^") {
+    }
+  }
+  {
+    final synthesized self::Class2 #32#0 = cls2;
+    final const synthesized invalid-type #32#1 = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case < const Class2()) {} // instance <
+                        ^^^^^^";
+    if(#32#0.{self::Class2::<}(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:129:25: Error: Cannot invoke a non-'const' constructor where a const expression is expected.
+Try using a constructor or factory that is 'const'.
+  if (cls2 case < const Class2()) {} // instance <
+                        ^^^^^^"){(self::Class2) → core::bool}) {
+    }
+  }
+  {
+    final synthesized self::Class2 #33#0 = cls2;
+    if(invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:130:19: Error: The argument type 'int' can't be assigned to the parameter type 'Class2'.
+ - 'Class2' is from 'pkg/front_end/testcases/patterns/pattern_types.dart'.
+  if (cls2 case < 0) {} // Error: invalid instance < argument
+                  ^") {
+    }
+  }
+  {
+    final synthesized self::Class2? #34#0 = cls2_;
+    if(#34#0 == null) {
+    }
+  }
+}
+
+library /*isNonNullableByDefault*/;
+import self as self2;
+import "dart:core" as core;
+
+class Invalid extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self2::Invalid
+    : super core::Object::•()
+    ;
+  operator <(dynamic other) → dynamic
+    return true;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+
+library /*isNonNullableByDefault*/;
+import self as self3;
+import "dart:core" as core;
+
+class Invalid extends core::Object {
+  field dynamic field = null;
+  synthetic constructor •() → self3::Invalid
+    : super core::Object::•()
+    ;
+  operator <(dynamic other) → dynamic
+    return true;
+  operator ==(core::Object other) → core::bool
+    return true;
+}
+
+constants  {
+  #C1 = 0
+  #C2 = "0"
+}
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.strong.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>(#C1)) {
+      if(#0#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.strong.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>(#C1)) {
+      if(#0#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>(#C1)) {
+      if(#0#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.modular.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>(#C1)) {
+      if(#0#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than.dart.weak.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>(#C1)) {
+      if(#0#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.strong.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>=(#C1)) {
+      if(#0#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.strong.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>=(#C1)) {
+      if(#0#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>=(#C1)) {
+      if(#0#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.modular.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>=(#C1)) {
+      if(#0#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_greater_than_or_equal.dart.weak.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.>=(#C1)) {
+      if(#0#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.strong.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<(#C1)) {
+      if(#0#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.strong.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<(#C1)) {
+      if(#0#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<(#C1)) {
+      if(#0#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.modular.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<(#C1)) {
+      if(#0#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than.dart.weak.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<(#C1)) {
+      if(#0#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.strong.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<=(#C1)) {
+      if(#0#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.strong.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<=(#C1)) {
+      if(#0#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<=(#C1)) {
+      if(#0#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.modular.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<=(#C1)) {
+      if(#0#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_case_less_than_or_equal.dart.weak.transformed.expect
@ -7,7 +7,7 @@ static method test(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    {
-      if(#0#0{dynamic}.<=(#C1)) {
+      if(#0#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
        {
          break #L1;
        }
--- a/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.strong.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.strong.expect
@ -30,22 +30,22 @@ static method test(dynamic x) → dynamic {
  }
  {
    final synthesized dynamic #5#0 = x;
-    if(#5#0{dynamic}.<(#C1)) {
+    if(#5#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #6#0 = x;
-    if(#6#0{dynamic}.<=(#C1)) {
+    if(#6#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #7#0 = x;
-    if(#7#0{dynamic}.>(#C1)) {
+    if(#7#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #8#0 = x;
-    if(#8#0{dynamic}.>=(#C1)) {
+    if(#8#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
 }
--- a/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.strong.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.strong.transformed.expect
@ -30,22 +30,22 @@ static method test(dynamic x) → dynamic {
  }
  {
    final synthesized dynamic #5#0 = x;
-    if(#5#0{dynamic}.<(#C1)) {
+    if(#5#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #6#0 = x;
-    if(#6#0{dynamic}.<=(#C1)) {
+    if(#6#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #7#0 = x;
-    if(#7#0{dynamic}.>(#C1)) {
+    if(#7#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #8#0 = x;
-    if(#8#0{dynamic}.>=(#C1)) {
+    if(#8#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
 }
--- a/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.expect
@ -30,22 +30,22 @@ static method test(dynamic x) → dynamic {
  }
  {
    final synthesized dynamic #5#0 = x;
-    if(#5#0{dynamic}.<(#C1)) {
+    if(#5#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #6#0 = x;
-    if(#6#0{dynamic}.<=(#C1)) {
+    if(#6#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #7#0 = x;
-    if(#7#0{dynamic}.>(#C1)) {
+    if(#7#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #8#0 = x;
-    if(#8#0{dynamic}.>=(#C1)) {
+    if(#8#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
 }
--- a/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.modular.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.modular.expect
@ -30,22 +30,22 @@ static method test(dynamic x) → dynamic {
  }
  {
    final synthesized dynamic #5#0 = x;
-    if(#5#0{dynamic}.<(#C1)) {
+    if(#5#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #6#0 = x;
-    if(#6#0{dynamic}.<=(#C1)) {
+    if(#6#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #7#0 = x;
-    if(#7#0{dynamic}.>(#C1)) {
+    if(#7#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #8#0 = x;
-    if(#8#0{dynamic}.>=(#C1)) {
+    if(#8#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
 }
--- a/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.transformed.expect
+++ b/pkg/front_end/testcases/patterns/relational_inside_if_case.dart.weak.transformed.expect
@ -30,22 +30,22 @@ static method test(dynamic x) → dynamic {
  }
  {
    final synthesized dynamic #5#0 = x;
-    if(#5#0{dynamic}.<(#C1)) {
+    if(#5#0{dynamic}.<(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #6#0 = x;
-    if(#6#0{dynamic}.<=(#C1)) {
+    if(#6#0{dynamic}.<=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #7#0 = x;
-    if(#7#0{dynamic}.>(#C1)) {
+    if(#7#0{dynamic}.>(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
  {
    final synthesized dynamic #8#0 = x;
-    if(#8#0{dynamic}.>=(#C1)) {
+    if(#8#0{dynamic}.>=(#C1) as{ForNonNullableByDefault} core::bool) {
    }
  }
 }
--- a/pkg/front_end/testcases/strong.status
+++ b/pkg/front_end/testcases/strong.status
@ -149,7 +149,6 @@ nnbd/getter_vs_setter_type: TypeCheckError
 nnbd/issue42603: TypeCheckError
 nnbd/no_support_for_old_null_aware_index_access_syntax: RuntimeError # Expected.
 no_such_method_forwarders/mixin_nsm: TypeCheckError
-patterns/pattern_types: TypeCheckError
 rasta/abstract_constructor: RuntimeError
 rasta/bad_constructor_redirection: RuntimeError
 rasta/bad_continue: RuntimeError
--- a/pkg/front_end/testcases/weak.status
+++ b/pkg/front_end/testcases/weak.status
@ -230,7 +230,6 @@ nnbd_mixed/issue41567: TypeCheckError
 nnbd_mixed/messages_with_types_opt_in: TypeCheckError
 nnbd_mixed/messages_with_types_opt_out: TypeCheckError
 nnbd_mixed/mixin_from_opt_in/main: RuntimeError
-patterns/pattern_types: TypeCheckError
 rasta/abstract_constructor: RuntimeError
 rasta/bad_constructor_redirection: RuntimeError
 rasta/bad_continue: RuntimeError