[cfe] Don't use ' in synthesized names

Change-Id: Ie90e1d2d1fea6507f5271e2c2c06975901163ad6
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/285900
Reviewed-by: Chloe Stefantsova <cstefantsova@google.com>
Commit-Queue: Johnni Winther <johnniwinther@google.com>

pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart

@@ -8170,7 +8170,7 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         in declaredVariablesByName.values) {
       if (variables.length > 1) {
         for (int i = 1; i < variables.length; i++) {
-          variables[i].name = '${variables[i].name}${"'" * i}';
+          variables[i].name = '${variables[i].name}${"#$i"}';
         }
       }
     }
@@ -8559,7 +8559,7 @@ class InferenceVisitorImpl extends InferenceVisitorBase
         in declaredVariablesByName.values) {
       if (variables.length > 1) {
         for (int i = 1; i < variables.length; i++) {
-          variables[i].name = '${variables[i].name}${"'" * i}';
+          variables[i].name = '${variables[i].name}${"#$i"}';
         }
       }
     }

pkg/front_end/testcases/patterns/issue50931.dart.strong.expect

@@ -7,8 +7,8 @@ static method test1(dynamic x) → dynamic {
   {
     core::int #t1 = -1;
     core::int y;
-    core::double y';
-    core::String y'';
+    core::double y#1;
+    core::String y#2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = y = #0#0{core::int} in true))
       #t1 = 0;
@@ -16,10 +16,10 @@ static method test1(dynamic x) → dynamic {
       if(#C1 =={core::String::==}{(core::Object) → core::bool} #0#0 || #C2 =={core::String::==}{(core::Object) → core::bool} #0#0)
         #t1 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y#1 = #0#0{core::double} in true))
           #t1 = 2;
         else
-          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y'' = #0#0{core::String} in true))
+          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y#2 = #0#0{core::String} in true))
             #t1 = 3;
           else
             #t1 = 4;
@@ -68,18 +68,18 @@ static method test2(dynamic x) → dynamic {
   {
     core::int #t5 = -1;
     core::String y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     core::bool y1;
     core::List<dynamic> y2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = y = #0#0{core::String} in true))
       #t5 = 0;
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y' = #0#0{core::int} in true))
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y#1 = #0#0{core::int} in true))
         #t5 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#0{core::double} in true))
           #t5 = 2;
         else
           if(#0#0 is{ForNonNullableByDefault} core::bool && (let final dynamic #t9 = y1 = #0#0{core::bool} in true))

pkg/front_end/testcases/patterns/issue50931.dart.strong.transformed.expect

@@ -7,8 +7,8 @@ static method test1(dynamic x) → dynamic {
   {
     core::int #t1 = -1;
     core::int y;
-    core::double y';
-    core::String y'';
+    core::double y#1;
+    core::String y#2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = y = #0#0{core::int} in true))
       #t1 = 0;
@@ -16,10 +16,10 @@ static method test1(dynamic x) → dynamic {
       if(#C1 =={core::String::==}{(core::Object) → core::bool} #0#0 || #C2 =={core::String::==}{(core::Object) → core::bool} #0#0)
         #t1 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t3 = y' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t3 = y#1 = #0#0{core::double} in true))
           #t1 = 2;
         else
-          if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t4 = y'' = #0#0{core::String} in true))
+          if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t4 = y#2 = #0#0{core::String} in true))
             #t1 = 3;
           else
             #t1 = 4;
@@ -68,18 +68,18 @@ static method test2(dynamic x) → dynamic {
   {
     core::int #t5 = -1;
     core::String y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     core::bool y1;
     core::List<dynamic> y2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = y = #0#0{core::String} in true))
       #t5 = 0;
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t7 = y' = #0#0{core::int} in true))
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t7 = y#1 = #0#0{core::int} in true))
         #t5 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y'' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y#2 = #0#0{core::double} in true))
           #t5 = 2;
         else
           if(#0#0 is{ForNonNullableByDefault} core::bool && (let final core::bool #t9 = y1 = #0#0{core::bool} in true))

pkg/front_end/testcases/patterns/issue50931.dart.weak.expect

@@ -7,8 +7,8 @@ static method test1(dynamic x) → dynamic {
   {
     core::int #t1 = -1;
     core::int y;
-    core::double y';
-    core::String y'';
+    core::double y#1;
+    core::String y#2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = y = #0#0{core::int} in true))
       #t1 = 0;
@@ -16,10 +16,10 @@ static method test1(dynamic x) → dynamic {
       if(#C1 =={core::String::==}{(core::Object) → core::bool} #0#0 || #C2 =={core::String::==}{(core::Object) → core::bool} #0#0)
         #t1 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y#1 = #0#0{core::double} in true))
           #t1 = 2;
         else
-          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y'' = #0#0{core::String} in true))
+          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y#2 = #0#0{core::String} in true))
             #t1 = 3;
           else
             #t1 = 4;
@@ -68,18 +68,18 @@ static method test2(dynamic x) → dynamic {
   {
     core::int #t5 = -1;
     core::String y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     core::bool y1;
     core::List<dynamic> y2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = y = #0#0{core::String} in true))
       #t5 = 0;
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y' = #0#0{core::int} in true))
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y#1 = #0#0{core::int} in true))
         #t5 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#0{core::double} in true))
           #t5 = 2;
         else
           if(#0#0 is{ForNonNullableByDefault} core::bool && (let final dynamic #t9 = y1 = #0#0{core::bool} in true))

pkg/front_end/testcases/patterns/issue50931.dart.weak.modular.expect

@@ -7,8 +7,8 @@ static method test1(dynamic x) → dynamic {
   {
     core::int #t1 = -1;
     core::int y;
-    core::double y';
-    core::String y'';
+    core::double y#1;
+    core::String y#2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = y = #0#0{core::int} in true))
       #t1 = 0;
@@ -16,10 +16,10 @@ static method test1(dynamic x) → dynamic {
       if(#C1 =={core::String::==}{(core::Object) → core::bool} #0#0 || #C2 =={core::String::==}{(core::Object) → core::bool} #0#0)
         #t1 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t3 = y#1 = #0#0{core::double} in true))
           #t1 = 2;
         else
-          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y'' = #0#0{core::String} in true))
+          if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t4 = y#2 = #0#0{core::String} in true))
             #t1 = 3;
           else
             #t1 = 4;
@@ -68,18 +68,18 @@ static method test2(dynamic x) → dynamic {
   {
     core::int #t5 = -1;
     core::String y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     core::bool y1;
     core::List<dynamic> y2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = y = #0#0{core::String} in true))
       #t5 = 0;
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y' = #0#0{core::int} in true))
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = y#1 = #0#0{core::int} in true))
         #t5 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#0{core::double} in true))
           #t5 = 2;
         else
           if(#0#0 is{ForNonNullableByDefault} core::bool && (let final dynamic #t9 = y1 = #0#0{core::bool} in true))

pkg/front_end/testcases/patterns/issue50931.dart.weak.transformed.expect

@@ -7,8 +7,8 @@ static method test1(dynamic x) → dynamic {
   {
     core::int #t1 = -1;
     core::int y;
-    core::double y';
-    core::String y'';
+    core::double y#1;
+    core::String y#2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = y = #0#0{core::int} in true))
       #t1 = 0;
@@ -16,10 +16,10 @@ static method test1(dynamic x) → dynamic {
       if(#C1 =={core::String::==}{(core::Object) → core::bool} #0#0 || #C2 =={core::String::==}{(core::Object) → core::bool} #0#0)
         #t1 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t3 = y' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t3 = y#1 = #0#0{core::double} in true))
           #t1 = 2;
         else
-          if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t4 = y'' = #0#0{core::String} in true))
+          if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t4 = y#2 = #0#0{core::String} in true))
             #t1 = 3;
           else
             #t1 = 4;
@@ -68,18 +68,18 @@ static method test2(dynamic x) → dynamic {
   {
     core::int #t5 = -1;
     core::String y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     core::bool y1;
     core::List<dynamic> y2;
     final dynamic #0#0 = x;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = y = #0#0{core::String} in true))
       #t5 = 0;
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t7 = y' = #0#0{core::int} in true))
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t7 = y#1 = #0#0{core::int} in true))
         #t5 = 1;
       else
-        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y'' = #0#0{core::double} in true))
+        if(#0#0 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y#2 = #0#0{core::double} in true))
           #t5 = 2;
         else
           if(#0#0 is{ForNonNullableByDefault} core::bool && (let final core::bool #t9 = y1 = #0#0{core::bool} in true))

pkg/front_end/testcases/patterns/issue51112.dart.strong.expect

@@ -7,8 +7,8 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     final dynamic #0#0 = x;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2 =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -20,12 +20,12 @@ static method test(dynamic x) → dynamic {
         y = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y' = #0#7{core::int} in true)) && (() → core::bool {
+    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y#1 = #0#7{core::int} in true)) && (() → core::bool {
       setToOne = () → void {
-        y' = 1;
+        y#1 = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y' in true)) {
+    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y#1 in true)) {
       core::int y = #t1{core::int};
       {
         setToOne(){() → void};
@@ -33,15 +33,15 @@ static method test(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#6{core::double} in true)) && (() → core::bool {
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#6{core::double} in true)) && (() → core::bool {
         setToOne = () → void {
-          y'' = 1.0;
+          y#2 = 1.0;
         };
         return true;
       })(){() → core::bool}) {
         {
           setToOne(){() → void};
-          return y'';
+          return y#2;
         }
       }
       else {

pkg/front_end/testcases/patterns/issue51112.dart.strong.transformed.expect

@@ -7,8 +7,8 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     final dynamic #0#0 = x;
     function ##0#2#initializer() → core::int
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int};
@@ -28,12 +28,12 @@ static method test(dynamic x) → dynamic {
         y = 1;
       };
       return true;
-    })(){() → core::bool} && (let final core::int #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = y' = #0#7{core::int} in true)) && (() → core::bool {
+    })(){() → core::bool} && (let final core::int #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = y#1 = #0#7{core::int} in true)) && (() → core::bool {
       setToOne = () → void {
-        y' = 1;
+        y#1 = 1;
       };
       return true;
-    })(){() → core::bool} && (let final core::int #t7 = #t1 = y' in true)) {
+    })(){() → core::bool} && (let final core::int #t7 = #t1 = y#1 in true)) {
       core::int y = #t1{core::int};
       {
         setToOne(){() → void};
@@ -41,15 +41,15 @@ static method test(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y'' = #0#6{core::double} in true)) && (() → core::bool {
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y#2 = #0#6{core::double} in true)) && (() → core::bool {
         setToOne = () → void {
-          y'' = 1.0;
+          y#2 = 1.0;
         };
         return true;
       })(){() → core::bool}) {
         {
           setToOne(){() → void};
-          return y'';
+          return y#2;
         }
       }
       else {

pkg/front_end/testcases/patterns/issue51112.dart.weak.expect

@@ -7,8 +7,8 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     final dynamic #0#0 = x;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2 =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -20,12 +20,12 @@ static method test(dynamic x) → dynamic {
         y = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y' = #0#7{core::int} in true)) && (() → core::bool {
+    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y#1 = #0#7{core::int} in true)) && (() → core::bool {
       setToOne = () → void {
-        y' = 1;
+        y#1 = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y' in true)) {
+    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y#1 in true)) {
       core::int y = #t1{core::int};
       {
         setToOne(){() → void};
@@ -33,15 +33,15 @@ static method test(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#6{core::double} in true)) && (() → core::bool {
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#6{core::double} in true)) && (() → core::bool {
         setToOne = () → void {
-          y'' = 1.0;
+          y#2 = 1.0;
         };
         return true;
       })(){() → core::bool}) {
         {
           setToOne(){() → void};
-          return y'';
+          return y#2;
         }
       }
       else {

pkg/front_end/testcases/patterns/issue51112.dart.weak.modular.expect

@@ -7,8 +7,8 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     final dynamic #0#0 = x;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2 =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -20,12 +20,12 @@ static method test(dynamic x) → dynamic {
         y = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y' = #0#7{core::int} in true)) && (() → core::bool {
+    })(){() → core::bool} && (let final dynamic #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = y#1 = #0#7{core::int} in true)) && (() → core::bool {
       setToOne = () → void {
-        y' = 1;
+        y#1 = 1;
       };
       return true;
-    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y' in true)) {
+    })(){() → core::bool} && (let final dynamic #t7 = #t1 = y#1 in true)) {
       core::int y = #t1{core::int};
       {
         setToOne(){() → void};
@@ -33,15 +33,15 @@ static method test(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y'' = #0#6{core::double} in true)) && (() → core::bool {
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final dynamic #t8 = y#2 = #0#6{core::double} in true)) && (() → core::bool {
         setToOne = () → void {
-          y'' = 1.0;
+          y#2 = 1.0;
         };
         return true;
       })(){() → core::bool}) {
         {
           setToOne(){() → void};
-          return y'';
+          return y#2;
         }
       }
       else {

pkg/front_end/testcases/patterns/issue51112.dart.weak.transformed.expect

@@ -7,8 +7,8 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int y;
-    core::int y';
-    core::double y'';
+    core::int y#1;
+    core::double y#2;
     final dynamic #0#0 = x;
     function ##0#2#initializer() → core::int
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int};
@@ -28,12 +28,12 @@ static method test(dynamic x) → dynamic {
         y = 1;
       };
       return true;
-    })(){() → core::bool} && (let final core::int #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = y' = #0#7{core::int} in true)) && (() → core::bool {
+    })(){() → core::bool} && (let final core::int #t4 = #t1 = y in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = y#1 = #0#7{core::int} in true)) && (() → core::bool {
       setToOne = () → void {
-        y' = 1;
+        y#1 = 1;
       };
       return true;
-    })(){() → core::bool} && (let final core::int #t7 = #t1 = y' in true)) {
+    })(){() → core::bool} && (let final core::int #t7 = #t1 = y#1 in true)) {
       core::int y = #t1{core::int};
       {
         setToOne(){() → void};
@@ -41,15 +41,15 @@ static method test(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y'' = #0#6{core::double} in true)) && (() → core::bool {
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#2 =={core::num::==}{(core::Object) → core::bool} #C2 && (#0#6 is{ForNonNullableByDefault} core::double && (let final core::double #t8 = y#2 = #0#6{core::double} in true)) && (() → core::bool {
         setToOne = () → void {
-          y'' = 1.0;
+          y#2 = 1.0;
         };
         return true;
       })(){() → core::bool}) {
         {
           setToOne(){() → void};
-          return y'';
+          return y#2;
         }
       }
       else {

pkg/front_end/testcases/patterns/issue51260.dart.strong.expect

@@ -6,14 +6,14 @@ static method foo(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = x;
     core::bool #0#4;
     core::bool #0#4#isSet = false;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#11 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a' = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a#1 = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = #t1{core::int};
       {
         return a;

pkg/front_end/testcases/patterns/issue51260.dart.strong.transformed.expect

@@ -6,7 +6,7 @@ static method foo(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = x;
     core::bool #0#4;
     core::bool #0#4#isSet = false;
@@ -17,7 +17,7 @@ static method foo(dynamic x) → dynamic {
       return #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
     late final dynamic #0#11 = ##0#11#initializer(){() → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t3 = a = #0#6{core::int} in true)) && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = a' = #0#11{core::int} in true)) && (let final core::int #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t3 = a = #0#6{core::int} in true)) && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = a#1 = #0#11{core::int} in true)) && (let final core::int #t7 = #t1 = a#1 in true)) {
       core::int a = #t1{core::int};
       {
         return a;

pkg/front_end/testcases/patterns/issue51260.dart.weak.expect

@@ -6,14 +6,14 @@ static method foo(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = x;
     core::bool #0#4;
     core::bool #0#4#isSet = false;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#11 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a' = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a#1 = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = #t1{core::int};
       {
         return a;

pkg/front_end/testcases/patterns/issue51260.dart.weak.modular.expect

@@ -6,14 +6,14 @@ static method foo(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = x;
     core::bool #0#4;
     core::bool #0#4#isSet = false;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#11 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a' = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = a = #0#6{core::int} in true)) && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final dynamic #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final dynamic #t6 = a#1 = #0#11{core::int} in true)) && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = #t1{core::int};
       {
         return a;

pkg/front_end/testcases/patterns/issue51260.dart.weak.transformed.expect

@@ -6,7 +6,7 @@ static method foo(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = x;
     core::bool #0#4;
     core::bool #0#4#isSet = false;
@@ -17,7 +17,7 @@ static method foo(dynamic x) → dynamic {
       return #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
     late final dynamic #0#11 = ##0#11#initializer(){() → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t3 = a = #0#6{core::int} in true)) && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = a' = #0#11{core::int} in true)) && (let final core::int #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t2 = #0#4#isSet = true in #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t3 = a = #0#6{core::int} in true)) && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#0#4#isSet ?{core::bool} #0#4{core::bool} : let final core::bool* #t5 = #0#4#isSet = true in #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && (#0#11 is{ForNonNullableByDefault} core::int && (let final core::int #t6 = a#1 = #0#11{core::int} in true)) && (let final core::int #t7 = #t1 = a#1 in true)) {
       core::int a = #t1{core::int};
       {
         return a;

pkg/front_end/testcases/patterns/local_shadows_pattern.dart.strong.expect

@@ -26,12 +26,12 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::int x;
-    core::int x';
+    core::int x#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x' = #0#7{core::int} in true))) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x#1 = #0#7{core::int} in true))) {
       {
         core::String x = "foo";
         return x;

pkg/front_end/testcases/patterns/local_shadows_pattern.dart.strong.transformed.expect

@@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::int x;
-    core::int x';
+    core::int x#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -37,7 +37,7 @@ static method test2(dynamic x) → dynamic {
     function ##0#7#initializer() → dynamic
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = x' = #0#7{core::int} in true))) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = x#1 = #0#7{core::int} in true))) {
       {
         core::String x = "foo";
         return x;

pkg/front_end/testcases/patterns/local_shadows_pattern.dart.weak.expect

@@ -26,12 +26,12 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::int x;
-    core::int x';
+    core::int x#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x' = #0#7{core::int} in true))) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x#1 = #0#7{core::int} in true))) {
       {
         core::String x = "foo";
         return x;

pkg/front_end/testcases/patterns/local_shadows_pattern.dart.weak.modular.expect

@@ -26,12 +26,12 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::int x;
-    core::int x';
+    core::int x#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x' = #0#7{core::int} in true))) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = x#1 = #0#7{core::int} in true))) {
       {
         core::String x = "foo";
         return x;

pkg/front_end/testcases/patterns/local_shadows_pattern.dart.weak.transformed.expect

@@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::int x;
-    core::int x';
+    core::int x#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -37,7 +37,7 @@ static method test2(dynamic x) → dynamic {
     function ##0#7#initializer() → dynamic
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = x' = #0#7{core::int} in true))) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = x = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t4 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::int && (let final core::int #t5 = x#1 = #0#7{core::int} in true))) {
       {
         core::String x = "foo";
         return x;

pkg/front_end/testcases/patterns/or_pattern_errors.dart.strong.expect

@@ -42,7 +42,7 @@ static method test(dynamic o) → dynamic {
   #L1:
   {
     core::int? s1;
-    core::int? s1';
+    core::int? s1#1;
     core::int? field1;
     core::int? f;
     core::int? s2;
@@ -56,7 +56,7 @@ static method test(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1' = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
+      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1#1 = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
         {
           break #L1;
         }

pkg/front_end/testcases/patterns/or_pattern_errors.dart.strong.transformed.expect

@@ -42,7 +42,7 @@ static method test(dynamic o) → dynamic {
   #L1:
   {
     core::int? s1;
-    core::int? s1';
+    core::int? s1#1;
     core::int? field1;
     core::int? f;
     core::int? s2;
@@ -60,7 +60,7 @@ static method test(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t3 = s1' = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t4 = #0#2 in true)) {
+      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t3 = s1#1 = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t4 = #0#2 in true)) {
         {
           break #L1;
         }

pkg/front_end/testcases/patterns/or_pattern_errors.dart.weak.expect

@@ -42,7 +42,7 @@ static method test(dynamic o) → dynamic {
   #L1:
   {
     core::int? s1;
-    core::int? s1';
+    core::int? s1#1;
     core::int? field1;
     core::int? f;
     core::int? s2;
@@ -56,7 +56,7 @@ static method test(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1' = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
+      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1#1 = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
         {
           break #L1;
         }

pkg/front_end/testcases/patterns/or_pattern_errors.dart.weak.modular.expect

@@ -42,7 +42,7 @@ static method test(dynamic o) → dynamic {
   #L1:
   {
     core::int? s1;
-    core::int? s1';
+    core::int? s1#1;
     core::int? field1;
     core::int? f;
     core::int? s2;
@@ -56,7 +56,7 @@ static method test(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1' = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
+      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t3 = s1#1 = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t4 = #0#2 in true)) {
         {
           break #L1;
         }

pkg/front_end/testcases/patterns/or_pattern_errors.dart.weak.transformed.expect

@@ -42,7 +42,7 @@ static method test(dynamic o) → dynamic {
   #L1:
   {
     core::int? s1;
-    core::int? s1';
+    core::int? s1#1;
     core::int? field1;
     core::int? f;
     core::int? s2;
@@ -60,7 +60,7 @@ static method test(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t3 = s1' = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t4 = #0#2 in true)) {
+      if(#0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t3 = s1#1 = #0#2 in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final core::int? #t4 = #0#2 in true)) {
         {
           break #L1;
         }

pkg/front_end/testcases/patterns/pattern_types.dart.strong.expect

@@ -207,13 +207,13 @@ static method objectPattern(dynamic o) → dynamic {
     core::int $1;
     core::String named;
     dynamic missing;
-    dynamic field';
-    () → void method';
-    dynamic extensionGetter';
-    dynamic extensionMethod';
-    () →? void call';
-    core::int $1';
-    core::String named';
+    dynamic field#1;
+    () → void method#1;
+    dynamic extensionGetter#1;
+    dynamic extensionMethod#1;
+    () →? void call#1;
+    core::int $1#1;
+    core::String named#1;
     dynamic ambiguousField;
     final dynamic #0#0 = o;
     dynamic #0#5;
@@ -230,29 +230,29 @@ static method objectPattern(dynamic o) → dynamic {
  - '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 null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field' = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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?'.
+               ^^^^^^^" in null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field#1 = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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 null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method' = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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?'.
+                ^^^^^" in null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method#1 = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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 null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+                ^^^^^^" in null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter#1 = 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 null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod#1 = 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 null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call' = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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()?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call#1 = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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 null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1' = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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})?'.
+                    ^^^^" in null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1#1 = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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 null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named' = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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})?'.
+                  ^^" in null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named#1 = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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 null{<unresolved>}.named in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t29 = ambiguousField = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.

pkg/front_end/testcases/patterns/pattern_types.dart.weak.expect

@@ -208,13 +208,13 @@ static method objectPattern(dynamic o) → dynamic {
     core::int $1;
     core::String named;
     dynamic missing;
-    dynamic field';
-    () → void method';
-    dynamic extensionGetter';
-    dynamic extensionMethod';
-    () →? void call';
-    core::int $1';
-    core::String named';
+    dynamic field#1;
+    () → void method#1;
+    dynamic extensionGetter#1;
+    dynamic extensionMethod#1;
+    () →? void call#1;
+    core::int $1#1;
+    core::String named#1;
     dynamic ambiguousField;
     final dynamic #0#0 = o;
     dynamic #0#5;
@@ -231,29 +231,29 @@ static method objectPattern(dynamic o) → dynamic {
  - '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 null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field' = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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?'.
+               ^^^^^^^" in null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field#1 = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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 null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method' = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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?'.
+                ^^^^^" in null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method#1 = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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 null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+                ^^^^^^" in null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter#1 = 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 null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod#1 = 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 null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call' = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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()?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call#1 = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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 null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1' = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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})?'.
+                    ^^^^" in null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1#1 = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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 null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named' = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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})?'.
+                  ^^" in null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named#1 = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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 null{<unresolved>}.named in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t29 = ambiguousField = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.

pkg/front_end/testcases/patterns/pattern_types.dart.weak.modular.expect

@@ -208,13 +208,13 @@ static method objectPattern(dynamic o) → dynamic {
     core::int $1;
     core::String named;
     dynamic missing;
-    dynamic field';
-    () → void method';
-    dynamic extensionGetter';
-    dynamic extensionMethod';
-    () →? void call';
-    core::int $1';
-    core::String named';
+    dynamic field#1;
+    () → void method#1;
+    dynamic extensionGetter#1;
+    dynamic extensionMethod#1;
+    () →? void call#1;
+    core::int $1#1;
+    core::String named#1;
     dynamic ambiguousField;
     final dynamic #0#0 = o;
     dynamic #0#5;
@@ -231,29 +231,29 @@ static method objectPattern(dynamic o) → dynamic {
  - '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 null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field' = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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?'.
+               ^^^^^^^" in null{<unresolved>}.missing in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t17 = field#1 = #0#5#isSet ?{invalid-type} #0#5{invalid-type} : let final dynamic #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 null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method' = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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?'.
+                ^^^^^" in null{<unresolved>}.field in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t19 = method#1 = #0#6#isSet ?{invalid-type} #0#6{invalid-type} : let final dynamic #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 null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:78:17: Error: The getter 'extensionGetter' isn't defined for the class 'Class?'.
+                ^^^^^^" in null{<unresolved>}.method in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t21 = extensionGetter#1 = 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 null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod' = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:79:17: Error: The getter 'extensionMethod' isn't defined for the class 'Class?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionGetter in true) || #0#0 is{ForNonNullableByDefault} self::Class? && (let final dynamic #t22 = extensionMethod#1 = 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 null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call' = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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()?'.
+                ^^^^^^^^^^^^^^^" in null{<unresolved>}.extensionMethod in true) || #0#0 is{ForNonNullableByDefault} () →? void && (let final dynamic #t23 = call#1 = #0#12#isSet ?{invalid-type} #0#12{invalid-type} : let final dynamic #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 null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1' = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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})?'.
+                    ^^^^" in null{<unresolved>}.call in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t25 = $1#1 = #0#14#isSet ?{invalid-type} #0#14{invalid-type} : let final dynamic #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 null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named' = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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})?'.
+                  ^^" in null{<unresolved>}.$1 in true) || #0#0 is{ForNonNullableByDefault} (core::int, {required named: core::String})? && (let final dynamic #t27 = named#1 = #0#15#isSet ?{invalid-type} #0#15{invalid-type} : let final dynamic #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 null{<unresolved>}.named in true) || #0#0 is{ForNonNullableByDefault} self::Class && (let final dynamic #t29 = ambiguousField = invalid-expression "pkg/front_end/testcases/patterns/pattern_types.dart:83:16: Error: The getter 'ambiguousField' isn't defined for the class 'Class'.

pkg/front_end/testcases/patterns/rest_pattern_with_subpattern.dart.strong.expect

@@ -6,9 +6,9 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
   #L1:
   {
     core::List<dynamic> rest;
-    core::List<dynamic> rest';
-    core::List<dynamic> rest'';
-    core::List<dynamic> rest''';
+    core::List<dynamic> rest#1;
+    core::List<dynamic> rest#2;
+    core::List<dynamic> rest#3;
     final dynamic #0#0 = o;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2.{core::num::>=}(#C2){(core::num) → core::bool};
@@ -38,23 +38,23 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
           }
         }
         else
-          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest' = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest#1 = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
             {
-              self::expect(expectedRest, rest');
+              self::expect(expectedRest, rest#1);
               return 3;
             }
           }
           else
-            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest'' = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest#2 = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
               {
-                self::expect(expectedRest, rest'');
+                self::expect(expectedRest, rest#2);
                 return 4;
               }
             }
             else
-              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest''' = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest#3 = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
                 {
-                  self::expect(expectedRest, rest''');
+                  self::expect(expectedRest, rest#3);
                   return 5;
                 }
               }

pkg/front_end/testcases/patterns/rest_pattern_with_subpattern.dart.strong.transformed.expect

@@ -6,9 +6,9 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
   #L1:
   {
     core::List<dynamic> rest;
-    core::List<dynamic> rest';
-    core::List<dynamic> rest'';
-    core::List<dynamic> rest''';
+    core::List<dynamic> rest#1;
+    core::List<dynamic> rest#2;
+    core::List<dynamic> rest#3;
     final dynamic #0#0 = o;
     function ##0#2#initializer() → core::int
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int};
@@ -56,23 +56,23 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
           }
         }
         else
-          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final core::List<dynamic> #t2 = rest' = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final core::List<dynamic> #t2 = rest#1 = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
             {
-              self::expect(expectedRest, rest');
+              self::expect(expectedRest, rest#1);
               return 3;
             }
           }
           else
-            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final core::List<dynamic> #t3 = rest'' = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final core::List<dynamic> #t3 = rest#2 = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
               {
-                self::expect(expectedRest, rest'');
+                self::expect(expectedRest, rest#2);
                 return 4;
               }
             }
             else
-              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final core::List<dynamic> #t4 = rest''' = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final core::List<dynamic> #t4 = rest#3 = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
                 {
-                  self::expect(expectedRest, rest''');
+                  self::expect(expectedRest, rest#3);
                   return 5;
                 }
               }

pkg/front_end/testcases/patterns/rest_pattern_with_subpattern.dart.weak.expect

@@ -6,9 +6,9 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
   #L1:
   {
     core::List<dynamic> rest;
-    core::List<dynamic> rest';
-    core::List<dynamic> rest'';
-    core::List<dynamic> rest''';
+    core::List<dynamic> rest#1;
+    core::List<dynamic> rest#2;
+    core::List<dynamic> rest#3;
     final dynamic #0#0 = o;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2.{core::num::>=}(#C2){(core::num) → core::bool};
@@ -38,23 +38,23 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
           }
         }
         else
-          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest' = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest#1 = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
             {
-              self::expect(expectedRest, rest');
+              self::expect(expectedRest, rest#1);
               return 3;
             }
           }
           else
-            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest'' = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest#2 = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
               {
-                self::expect(expectedRest, rest'');
+                self::expect(expectedRest, rest#2);
                 return 4;
               }
             }
             else
-              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest''' = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest#3 = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
                 {
-                  self::expect(expectedRest, rest''');
+                  self::expect(expectedRest, rest#3);
                   return 5;
                 }
               }

pkg/front_end/testcases/patterns/rest_pattern_with_subpattern.dart.weak.modular.expect

@@ -6,9 +6,9 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
   #L1:
   {
     core::List<dynamic> rest;
-    core::List<dynamic> rest';
-    core::List<dynamic> rest'';
-    core::List<dynamic> rest''';
+    core::List<dynamic> rest#1;
+    core::List<dynamic> rest#2;
+    core::List<dynamic> rest#3;
     final dynamic #0#0 = o;
     late final core::int #0#2 = #0#0{core::List<dynamic>}.{core::List::length}{core::int};
     late final core::bool #0#4 = #0#2.{core::num::>=}(#C2){(core::num) → core::bool};
@@ -38,23 +38,23 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
           }
         }
         else
-          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest' = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final dynamic #t2 = rest#1 = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
             {
-              self::expect(expectedRest, rest');
+              self::expect(expectedRest, rest#1);
               return 3;
             }
           }
           else
-            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest'' = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final dynamic #t3 = rest#2 = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
               {
-                self::expect(expectedRest, rest'');
+                self::expect(expectedRest, rest#2);
                 return 4;
               }
             }
             else
-              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest''' = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final dynamic #t4 = rest#3 = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
                 {
-                  self::expect(expectedRest, rest''');
+                  self::expect(expectedRest, rest#3);
                   return 5;
                 }
               }

pkg/front_end/testcases/patterns/rest_pattern_with_subpattern.dart.weak.transformed.expect

@@ -6,9 +6,9 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
   #L1:
   {
     core::List<dynamic> rest;
-    core::List<dynamic> rest';
-    core::List<dynamic> rest'';
-    core::List<dynamic> rest''';
+    core::List<dynamic> rest#1;
+    core::List<dynamic> rest#2;
+    core::List<dynamic> rest#3;
     final dynamic #0#0 = o;
     function ##0#2#initializer() → core::int
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int};
@@ -56,23 +56,23 @@ static method test(dynamic o, [dynamic expectedRest = #C1]) → dynamic {
           }
         }
         else
-          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final core::List<dynamic> #t2 = rest' = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+          if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && (let final core::List<dynamic> #t2 = rest#1 = #0#0{core::List<dynamic>}.{core::List::sublist}(1, #0#2.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#14) {
             {
-              self::expect(expectedRest, rest');
+              self::expect(expectedRest, rest#1);
               return 3;
             }
           }
           else
-            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final core::List<dynamic> #t3 = rest'' = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+            if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C3 =={core::num::==}{(core::Object) → core::bool} #0#9 && (let final core::List<dynamic> #t3 = rest#2 = #0#34 in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
               {
-                self::expect(expectedRest, rest'');
+                self::expect(expectedRest, rest#2);
                 return 4;
               }
             }
             else
-              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final core::List<dynamic> #t4 = rest''' = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
+              if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#28 && #C4 =={core::num::==}{(core::Object) → core::bool} #0#6 && #C7 =={core::num::==}{(core::Object) → core::bool} #0#9 && (#0#44.{core::num::>=}(#C2){(core::num) → core::bool} && #C5 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(0){(core::int) → dynamic} && (let final core::List<dynamic> #t4 = rest#3 = #0#34.{core::List::sublist}(1, #0#44.{core::num::-}(1){(core::num) → core::int}){(core::int, [core::int?]) → core::List<dynamic>} in true) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#34.{core::List::[]}(#0#44.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}) && #C2 =={core::num::==}{(core::Object) → core::bool} #0#35 && #C6 =={core::num::==}{(core::Object) → core::bool} #0#14) {
                 {
-                  self::expect(expectedRest, rest''');
+                  self::expect(expectedRest, rest#3);
                   return 5;
                 }
               }

pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart.strong.expect

@@ -13,13 +13,13 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::double a';
+    core::double a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a' = #0#7{core::double} in true)) && a'.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a#1 = #0#7{core::double} in true)) && a#1.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = invalid-expression "pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart:7:15: Error: Variable pattern 'a' doesn't have the same type in all cases.
     case [int a, _] when a.isEven: // Error: type of 'a' mismatch.
               ^";

pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart.strong.transformed.expect

@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::double a';
+    core::double a#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -25,7 +25,7 @@ static method test(dynamic x) → dynamic {
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final core::double #t6 = a' = #0#7{core::double} in true)) && a'.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final core::double #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final core::double #t6 = a#1 = #0#7{core::double} in true)) && a#1.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final core::double #t7 = #t1 = a#1 in true)) {
       core::int a = invalid-expression "pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart:7:15: Error: Variable pattern 'a' doesn't have the same type in all cases.
     case [int a, _] when a.isEven: // Error: type of 'a' mismatch.
               ^";

pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart.weak.expect

@@ -13,13 +13,13 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::double a';
+    core::double a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a' = #0#7{core::double} in true)) && a'.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a#1 = #0#7{core::double} in true)) && a#1.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = invalid-expression "pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart:7:15: Error: Variable pattern 'a' doesn't have the same type in all cases.
     case [int a, _] when a.isEven: // Error: type of 'a' mismatch.
               ^";

pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart.weak.modular.expect

@@ -13,13 +13,13 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::double a';
+    core::double a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a' = #0#7{core::double} in true)) && a'.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final dynamic #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final dynamic #t6 = a#1 = #0#7{core::double} in true)) && a#1.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final dynamic #t7 = #t1 = a#1 in true)) {
       core::int a = invalid-expression "pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart:7:15: Error: Variable pattern 'a' doesn't have the same type in all cases.
     case [int a, _] when a.isEven: // Error: type of 'a' mismatch.
               ^";

pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart.weak.transformed.expect

@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int a;
-    core::double a';
+    core::double a#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1;
@@ -25,7 +25,7 @@ static method test(dynamic x) → dynamic {
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
     dynamic #t1;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final core::double #t6 = a' = #0#7{core::double} in true)) && a'.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final core::double #t7 = #t1 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a = #0#6{core::int} in true)) && (let final dynamic #t3 = #0#7 in true) && a.{core::int::isEven}{core::bool} && (let final core::int #t4 = #t1 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t5 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::double && (let final core::double #t6 = a#1 = #0#7{core::double} in true)) && a#1.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool} && (let final core::double #t7 = #t1 = a#1 in true)) {
       core::int a = invalid-expression "pkg/front_end/testcases/patterns/simple_switch_with_guards_error.dart:7:15: Error: Variable pattern 'a' doesn't have the same type in all cases.
     case [int a, _] when a.isEven: // Error: type of 'a' mismatch.
               ^";

pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart.strong.expect

@@ -24,13 +24,13 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::num a;
-    core::num a';
+    core::num a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t2;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a' = #0#7{core::num} in true)) && (a' is{ForNonNullableByDefault} core::double && a'{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a#1 = #0#7{core::num} in true)) && (a#1 is{ForNonNullableByDefault} core::double && a#1{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a#1 in true)) {
       core::num a = #t2{core::num};
       {
         return a;

pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart.strong.transformed.expect

@@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::num a;
-    core::num a';
+    core::num a#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -38,7 +38,7 @@ static method test2(dynamic x) → dynamic {
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
     dynamic #t2;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final core::num #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final core::num #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final core::num #t7 = a' = #0#7{core::num} in true)) && (a' is{ForNonNullableByDefault} core::double && a'{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final core::num #t8 = #t2 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final core::num #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final core::num #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final core::num #t7 = a#1 = #0#7{core::num} in true)) && (a#1 is{ForNonNullableByDefault} core::double && a#1{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final core::num #t8 = #t2 = a#1 in true)) {
       core::num a = #t2{core::num};
       {
         return a;

pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart.weak.expect

@@ -24,13 +24,13 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::num a;
-    core::num a';
+    core::num a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t2;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a' = #0#7{core::num} in true)) && (a' is{ForNonNullableByDefault} core::double && a'{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a#1 = #0#7{core::num} in true)) && (a#1 is{ForNonNullableByDefault} core::double && a#1{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a#1 in true)) {
       core::num a = #t2{core::num};
       {
         return a;

pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart.weak.modular.expect

@@ -24,13 +24,13 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::num a;
-    core::num a';
+    core::num a#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
     late final dynamic #0#7 = #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     dynamic #t2;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a' = #0#7{core::num} in true)) && (a' is{ForNonNullableByDefault} core::double && a'{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final dynamic #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final dynamic #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final dynamic #t7 = a#1 = #0#7{core::num} in true)) && (a#1 is{ForNonNullableByDefault} core::double && a#1{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final dynamic #t8 = #t2 = a#1 in true)) {
       core::num a = #t2{core::num};
       {
         return a;

pkg/front_end/testcases/patterns/simple_switch_with_guards_runtime.dart.weak.transformed.expect

@@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic {
   #L2:
   {
     core::num a;
-    core::num a';
+    core::num a#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -38,7 +38,7 @@ static method test2(dynamic x) → dynamic {
       return #0#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
     late final dynamic #0#7 = ##0#7#initializer(){() → dynamic};
     dynamic #t2;
-    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final core::num #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final core::num #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final core::num #t7 = a' = #0#7{core::num} in true)) && (a' is{ForNonNullableByDefault} core::double && a'{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final core::num #t8 = #t2 = a' in true)) {
+    if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::num && (let final core::num #t3 = a = #0#6{core::num} in true)) && (let final dynamic #t4 = #0#7 in true) && (a is{ForNonNullableByDefault} core::int && a{core::int}.{core::int::isEven}{core::bool}) && (let final core::num #t5 = #t2 = a in true) || #0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (let final dynamic #t6 = #0#6 in true) && (#0#7 is{ForNonNullableByDefault} core::num && (let final core::num #t7 = a#1 = #0#7{core::num} in true)) && (a#1 is{ForNonNullableByDefault} core::double && a#1{core::double}.{core::double::ceil}(){() → core::int}.{core::int::isOdd}{core::bool}) && (let final core::num #t8 = #t2 = a#1 in true)) {
       core::num a = #t2{core::num};
       {
         return a;

pkg/front_end/testcases/patterns/switch_expressions_variable_capture.dart.strong.expect

@@ -27,8 +27,8 @@ static method test2(dynamic x) → dynamic
     dynamic #t3;
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -38,10 +38,10 @@ static method test2(dynamic x) → dynamic
     }) is{ForNonNullableByDefault} dynamic)
       #t3 = self::captured!(a = b){(dynamic) → dynamic};
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic)
-        #t3 = self::captured!(a' = b'){(dynamic) → dynamic};
+        #t3 = self::captured!(a#1 = b#1){(dynamic) → dynamic};
       else
         if(true)
           #t3 = null;
@@ -51,8 +51,8 @@ static method test3(dynamic x) → dynamic {
   {
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -65,11 +65,11 @@ static method test3(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic) {
         {
-          return self::captured!(a' = b'){(dynamic) → dynamic};
+          return self::captured!(a#1 = b#1){(dynamic) → dynamic};
         }
       }
       else {

pkg/front_end/testcases/patterns/switch_expressions_variable_capture.dart.strong.transformed.expect

@@ -27,8 +27,8 @@ static method test2(dynamic x) → dynamic
     dynamic #t3;
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -44,10 +44,10 @@ static method test2(dynamic x) → dynamic
     }) is{ForNonNullableByDefault} dynamic)
       #t3 = self::captured!(a = b){(dynamic) → dynamic};
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t7 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t7 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic)
-        #t3 = self::captured!(a' = b'){(dynamic) → dynamic};
+        #t3 = self::captured!(a#1 = b#1){(dynamic) → dynamic};
       else
         if(true)
           #t3 = null;
@@ -57,8 +57,8 @@ static method test3(dynamic x) → dynamic {
   {
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -77,11 +77,11 @@ static method test3(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t10 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t11 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t10 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t11 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic) {
         {
-          return self::captured!(a' = b'){(dynamic) → dynamic};
+          return self::captured!(a#1 = b#1){(dynamic) → dynamic};
         }
       }
       else {

pkg/front_end/testcases/patterns/switch_expressions_variable_capture.dart.weak.expect

@@ -27,8 +27,8 @@ static method test2(dynamic x) → dynamic
     dynamic #t3;
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -38,10 +38,10 @@ static method test2(dynamic x) → dynamic
     }) is{ForNonNullableByDefault} dynamic)
       #t3 = self::captured!(a = b){(dynamic) → dynamic};
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic)
-        #t3 = self::captured!(a' = b'){(dynamic) → dynamic};
+        #t3 = self::captured!(a#1 = b#1){(dynamic) → dynamic};
       else
         if(true)
           #t3 = null;
@@ -51,8 +51,8 @@ static method test3(dynamic x) → dynamic {
   {
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -65,11 +65,11 @@ static method test3(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic) {
         {
-          return self::captured!(a' = b'){(dynamic) → dynamic};
+          return self::captured!(a#1 = b#1){(dynamic) → dynamic};
         }
       }
       else {

pkg/front_end/testcases/patterns/switch_expressions_variable_capture.dart.weak.modular.expect

@@ -27,8 +27,8 @@ static method test2(dynamic x) → dynamic
     dynamic #t3;
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -38,10 +38,10 @@ static method test2(dynamic x) → dynamic
     }) is{ForNonNullableByDefault} dynamic)
       #t3 = self::captured!(a = b){(dynamic) → dynamic};
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t6 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t7 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic)
-        #t3 = self::captured!(a' = b'){(dynamic) → dynamic};
+        #t3 = self::captured!(a#1 = b#1){(dynamic) → dynamic};
       else
         if(true)
           #t3 = null;
@@ -51,8 +51,8 @@ static method test3(dynamic x) → dynamic {
   {
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     late final core::bool #0#4 = #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
     late final dynamic #0#6 = #0#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
@@ -65,11 +65,11 @@ static method test3(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final dynamic #t10 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final dynamic #t11 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic) {
         {
-          return self::captured!(a' = b'){(dynamic) → dynamic};
+          return self::captured!(a#1 = b#1){(dynamic) → dynamic};
         }
       }
       else {

pkg/front_end/testcases/patterns/switch_expressions_variable_capture.dart.weak.transformed.expect

@@ -27,8 +27,8 @@ static method test2(dynamic x) → dynamic
     dynamic #t3;
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -44,10 +44,10 @@ static method test2(dynamic x) → dynamic
     }) is{ForNonNullableByDefault} dynamic)
       #t3 = self::captured!(a = b){(dynamic) → dynamic};
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t7 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t6 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t7 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic)
-        #t3 = self::captured!(a' = b'){(dynamic) → dynamic};
+        #t3 = self::captured!(a#1 = b#1){(dynamic) → dynamic};
       else
         if(true)
           #t3 = null;
@@ -57,8 +57,8 @@ static method test3(dynamic x) → dynamic {
   {
     core::int a;
     core::int b;
-    core::String a';
-    core::String b';
+    core::String a#1;
+    core::String b#1;
     final dynamic #0#0 = x;
     function ##0#4#initializer() → core::bool
       return #0#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2;
@@ -77,11 +77,11 @@ static method test3(dynamic x) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t10 = a' = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t11 = b' = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
-        return a'.{core::String::+}(b'){(core::String) → core::String};
+      if(#0#0 is{ForNonNullableByDefault} core::List<dynamic> && #0#4 && (#0#6 is{ForNonNullableByDefault} core::String && (let final core::String #t10 = a#1 = #0#6{core::String} in true)) && (#0#7 is{ForNonNullableByDefault} core::String && (let final core::String #t11 = b#1 = #0#7{core::String} in true)) && (self::captured = (dynamic x) → core::String {
+        return a#1.{core::String::+}(b#1){(core::String) → core::String};
       }) is{ForNonNullableByDefault} dynamic) {
         {
-          return self::captured!(a' = b'){(dynamic) → dynamic};
+          return self::captured!(a#1 = b#1){(dynamic) → dynamic};
         }
       }
       else {

pkg/front_end/testcases/patterns/switch_variables.dart.strong.expect

@@ -6,7 +6,7 @@ static method method(dynamic o) → dynamic {
   #L1:
   {
     core::String a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = o;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t1 = a = #0#0{core::String} in true)) {
       {
@@ -15,9 +15,9 @@ static method method(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a' = #0#0{core::int} in true)) {
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a#1 = #0#0{core::int} in true)) {
         {
-          core::print(a');
+          core::print(a#1);
           break #L1;
         }
       }

pkg/front_end/testcases/patterns/switch_variables.dart.strong.transformed.expect

@@ -6,7 +6,7 @@ static method method(dynamic o) → dynamic {
   #L1:
   {
     core::String a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = o;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t1 = a = #0#0{core::String} in true)) {
       {
@@ -15,9 +15,9 @@ static method method(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a' = #0#0{core::int} in true)) {
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a#1 = #0#0{core::int} in true)) {
         {
-          core::print(a');
+          core::print(a#1);
           break #L1;
         }
       }

pkg/front_end/testcases/patterns/switch_variables.dart.weak.expect

@@ -6,7 +6,7 @@ static method method(dynamic o) → dynamic {
   #L1:
   {
     core::String a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = o;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t1 = a = #0#0{core::String} in true)) {
       {
@@ -15,9 +15,9 @@ static method method(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a' = #0#0{core::int} in true)) {
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a#1 = #0#0{core::int} in true)) {
         {
-          core::print(a');
+          core::print(a#1);
           break #L1;
         }
       }

pkg/front_end/testcases/patterns/switch_variables.dart.weak.modular.expect

@@ -6,7 +6,7 @@ static method method(dynamic o) → dynamic {
   #L1:
   {
     core::String a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = o;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t1 = a = #0#0{core::String} in true)) {
       {
@@ -15,9 +15,9 @@ static method method(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a' = #0#0{core::int} in true)) {
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a#1 = #0#0{core::int} in true)) {
         {
-          core::print(a');
+          core::print(a#1);
           break #L1;
         }
       }

pkg/front_end/testcases/patterns/switch_variables.dart.weak.transformed.expect

@@ -6,7 +6,7 @@ static method method(dynamic o) → dynamic {
   #L1:
   {
     core::String a;
-    core::int a';
+    core::int a#1;
     final dynamic #0#0 = o;
     if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t1 = a = #0#0{core::String} in true)) {
       {
@@ -15,9 +15,9 @@ static method method(dynamic o) → dynamic {
       }
     }
     else
-      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a' = #0#0{core::int} in true)) {
+      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a#1 = #0#0{core::int} in true)) {
         {
-          core::print(a');
+          core::print(a#1);
           break #L1;
         }
       }

pkg/front_end/testcases/patterns/unused_joint_variable_is_not_joint.dart.strong.expect

@@ -6,9 +6,9 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int x;
-    core::String x';
+    core::String x#1;
     final dynamic #0#0 = x;
-    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x' = #0#0{core::String} in true) && x'.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
+    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x#1 = #0#0{core::String} in true) && x#1.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
       {
         return 1;
       }

pkg/front_end/testcases/patterns/unused_joint_variable_is_not_joint.dart.strong.transformed.expect

@@ -6,9 +6,9 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int x;
-    core::String x';
+    core::String x#1;
     final dynamic #0#0 = x;
-    if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t2 = x' = #0#0{core::String} in true) && x'.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
+    if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t2 = x#1 = #0#0{core::String} in true) && x#1.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
       {
         return 1;
       }

pkg/front_end/testcases/patterns/unused_joint_variable_is_not_joint.dart.weak.expect

@@ -6,9 +6,9 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int x;
-    core::String x';
+    core::String x#1;
     final dynamic #0#0 = x;
-    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x' = #0#0{core::String} in true) && x'.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
+    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x#1 = #0#0{core::String} in true) && x#1.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
       {
         return 1;
       }

pkg/front_end/testcases/patterns/unused_joint_variable_is_not_joint.dart.weak.modular.expect

@@ -6,9 +6,9 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int x;
-    core::String x';
+    core::String x#1;
     final dynamic #0#0 = x;
-    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x' = #0#0{core::String} in true) && x'.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
+    if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t2 = x#1 = #0#0{core::String} in true) && x#1.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
       {
         return 1;
       }

pkg/front_end/testcases/patterns/unused_joint_variable_is_not_joint.dart.weak.transformed.expect

@@ -6,9 +6,9 @@ static method test(dynamic x) → dynamic {
   #L1:
   {
     core::int x;
-    core::String x';
+    core::String x#1;
     final dynamic #0#0 = x;
-    if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t2 = x' = #0#0{core::String} in true) && x'.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
+    if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t1 = x = #0#0{core::int} in true) && x.{core::num::>}(0){(core::num) → core::bool} || #0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t2 = x#1 = #0#0{core::String} in true) && x#1.{core::String::startsWith}("f"){(core::Pattern, [core::int]) → core::bool}) {
       {
         return 1;
       }