diff --git a/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart b/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart index 433d44b49a2..956c99b95d6 100644 --- a/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart +++ b/pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart @@ -9338,8 +9338,25 @@ class InferenceVisitorImpl extends InferenceVisitorBase @override ExpressionTypeAnalysisResult dispatchExpression( Expression node, DartType context) { + // Normally the CFE performs expression coercion in the process of type + // inference of the nodes where an assignment is executed. The inference on + // the pattern-related nodes is driven by the shared analysis, and two of + // such nodes perform assignments. Here we determine if we're inferring the + // expressions of one of such nodes, and perform the coercion if needed. + TreeNode? parent = node.parent; + bool needsCoercion = + parent is PatternVariableDeclaration && parent.initializer == node || + parent is PatternAssignment && parent.expression == node; + ExpressionInferenceResult expressionResult = inferExpression(node, context).stopShorting(); + + if (needsCoercion) { + expressionResult = + coerceExpressionForAssignment(context, expressionResult) ?? + expressionResult; + } + pushRewrite(expressionResult.expression); return new SimpleTypeAnalysisResult(type: expressionResult.inferredType); } diff --git a/pkg/front_end/test/spell_checking_list_common.txt b/pkg/front_end/test/spell_checking_list_common.txt index c6b7fa40115..35b23da033d 100644 --- a/pkg/front_end/test/spell_checking_list_common.txt +++ b/pkg/front_end/test/spell_checking_list_common.txt @@ -943,6 +943,7 @@ downside downward downwards drive +driven driver drop dropped diff --git a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.expect b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.expect index 7fa5bd26b55..91c54874ed3 100644 --- a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.expect +++ b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.expect @@ -75,7 +75,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; #definitelyAssignedLateFinal#set(20){(dynamic) → dynamic}; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:32:7: Error: Can't assign to the final variable '#initializedLateFinal'. @@ -84,14 +84,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t6 = #definitelyUnassignedLateFinal#set(#1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int?){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; synthesized dynamic #2#3; synthesized core::bool #2#3#isSet = false; function #2#3#func() → dynamic diff --git a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.transformed.expect b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.transformed.expect index 7a6aff1bf5d..05aedccece6 100644 --- a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.strong.transformed.expect @@ -75,7 +75,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; #definitelyAssignedLateFinal#set(20){(dynamic) → dynamic}; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:32:7: Error: Can't assign to the final variable '#initializedLateFinal'. @@ -84,14 +84,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t6 = #definitelyUnassignedLateFinal#set(#1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int?){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; synthesized dynamic #2#3; synthesized core::bool #2#3#isSet = false; function #2#3#func() → dynamic @@ -119,4 +119,4 @@ constants { Extra constant evaluation status: Evaluated: VariableGet @ org-dartlang-testcase:///pattern_assignment_final.dart:12:14 -> IntConstant(5) -Extra constant evaluation: evaluated: 163, effectively constant: 1 +Extra constant evaluation: evaluated: 166, effectively constant: 1 diff --git a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.expect b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.expect index c44a8fb979e..e53edc27199 100644 --- a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.expect +++ b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.expect @@ -90,7 +90,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; #definitelyAssignedLateFinal#set(20){(dynamic) → dynamic}; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:32:7: Error: Can't assign to the final variable '#initializedLateFinal'. @@ -99,14 +99,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = #definitelyUnassignedLateFinal#set(#1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int?){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; synthesized dynamic #2#3; synthesized core::bool #2#3#isSet = false; function #2#3#func() → dynamic diff --git a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.modular.expect b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.modular.expect index c44a8fb979e..e53edc27199 100644 --- a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.modular.expect +++ b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.modular.expect @@ -90,7 +90,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; #definitelyAssignedLateFinal#set(20){(dynamic) → dynamic}; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:32:7: Error: Can't assign to the final variable '#initializedLateFinal'. @@ -99,14 +99,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = #definitelyUnassignedLateFinal#set(#1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int?){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; synthesized dynamic #2#3; synthesized core::bool #2#3#isSet = false; function #2#3#func() → dynamic diff --git a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.transformed.expect b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.transformed.expect index 1b2cbd703c0..d0aaa9ff148 100644 --- a/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart.weak.transformed.expect @@ -90,7 +90,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; #definitelyAssignedLateFinal#set(20){(dynamic) → dynamic}; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:32:7: Error: Can't assign to the final variable '#initializedLateFinal'. @@ -99,14 +99,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = #definitelyUnassignedLateFinal#set(#1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int?){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/late_lowering/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; synthesized dynamic #2#3; synthesized core::bool #2#3#isSet = false; function #2#3#func() → dynamic diff --git a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.expect b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.expect index 8ea9c828002..8e236207c87 100644 --- a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.expect @@ -9,7 +9,7 @@ static method test1(dynamic x, dynamic another) → core::Iterable { core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) diff --git a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.transformed.expect index d2ac28fe051..8cf321d94af 100644 --- a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.strong.transformed.expect @@ -9,7 +9,7 @@ static method test1(dynamic x, dynamic another) → core::Iterable { core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.expect b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.expect index 8ea9c828002..8e236207c87 100644 --- a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.expect @@ -9,7 +9,7 @@ static method test1(dynamic x, dynamic another) → core::Iterable { core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) diff --git a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.modular.expect index 8ea9c828002..8e236207c87 100644 --- a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.modular.expect @@ -9,7 +9,7 @@ static method test1(dynamic x, dynamic another) → core::Iterable { core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) diff --git a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.transformed.expect index d2ac28fe051..8cf321d94af 100644 --- a/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/collections_entry_to_element_conversion_in_inference.dart.weak.transformed.expect @@ -9,7 +9,7 @@ static method test1(dynamic x, dynamic another) → core::Iterable { core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/issue51432.dart.strong.expect b/pkg/front_end/testcases/patterns/issue51432.dart.strong.expect index 32c97a318b9..9d425835ecc 100644 --- a/pkg/front_end/testcases/patterns/issue51432.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/issue51432.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method method() → dynamic { core::int v1 = 42; block { - final synthesized dynamic #0#0 = "The string!" as{ForNonNullableByDefault} dynamic; + final synthesized dynamic #0#0 = ("The string!" as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} core::int; if(!(let final dynamic #t1 = v1 = #0#0 as{ForNonNullableByDefault} core::int in true)) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/issue51432.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/issue51432.dart.strong.transformed.expect index 20d9756fdc1..e9142cdf338 100644 --- a/pkg/front_end/testcases/patterns/issue51432.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/issue51432.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method method() → dynamic { core::int v1 = 42; block { - final synthesized dynamic #0#0 = "The string!" as{ForNonNullableByDefault} dynamic; + final synthesized dynamic #0#0 = ("The string!" as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} core::int; if(!(let final core::int #t1 = v1 = #0#0 as{ForNonNullableByDefault} core::int in true)) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -29,4 +29,4 @@ static method throws(() → void f) → dynamic { Extra constant evaluation status: Evaluated: AsExpression @ org-dartlang-testcase:///issue51432.dart:7:26 -> StringConstant("The string!") -Extra constant evaluation: evaluated: 23, effectively constant: 1 +Extra constant evaluation: evaluated: 24, effectively constant: 1 diff --git a/pkg/front_end/testcases/patterns/issue51432.dart.weak.expect b/pkg/front_end/testcases/patterns/issue51432.dart.weak.expect index 32c97a318b9..9d425835ecc 100644 --- a/pkg/front_end/testcases/patterns/issue51432.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/issue51432.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method method() → dynamic { core::int v1 = 42; block { - final synthesized dynamic #0#0 = "The string!" as{ForNonNullableByDefault} dynamic; + final synthesized dynamic #0#0 = ("The string!" as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} core::int; if(!(let final dynamic #t1 = v1 = #0#0 as{ForNonNullableByDefault} core::int in true)) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/issue51432.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/issue51432.dart.weak.modular.expect index 32c97a318b9..9d425835ecc 100644 --- a/pkg/front_end/testcases/patterns/issue51432.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/issue51432.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method method() → dynamic { core::int v1 = 42; block { - final synthesized dynamic #0#0 = "The string!" as{ForNonNullableByDefault} dynamic; + final synthesized dynamic #0#0 = ("The string!" as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} core::int; if(!(let final dynamic #t1 = v1 = #0#0 as{ForNonNullableByDefault} core::int in true)) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/issue51432.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/issue51432.dart.weak.transformed.expect index 20d9756fdc1..e9142cdf338 100644 --- a/pkg/front_end/testcases/patterns/issue51432.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/issue51432.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method method() → dynamic { core::int v1 = 42; block { - final synthesized dynamic #0#0 = "The string!" as{ForNonNullableByDefault} dynamic; + final synthesized dynamic #0#0 = ("The string!" as{ForNonNullableByDefault} dynamic) as{TypeError,ForDynamic,ForNonNullableByDefault} core::int; if(!(let final core::int #t1 = v1 = #0#0 as{ForNonNullableByDefault} core::int in true)) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -29,4 +29,4 @@ static method throws(() → void f) → dynamic { Extra constant evaluation status: Evaluated: AsExpression @ org-dartlang-testcase:///issue51432.dart:7:26 -> StringConstant("The string!") -Extra constant evaluation: evaluated: 23, effectively constant: 1 +Extra constant evaluation: evaluated: 24, effectively constant: 1 diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.expect index aecbf808cc3..a08b3368352 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.transformed.expect index aecbf808cc3..a08b3368352 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.expect index aecbf808cc3..a08b3368352 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.modular.expect index aecbf808cc3..a08b3368352 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.transformed.expect index aecbf808cc3..a08b3368352 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_list.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.expect index 0ba7d444cc4..d2ff7dd1872 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C2){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.transformed.expect index 0ba7d444cc4..d2ff7dd1872 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C2){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.expect index 0ba7d444cc4..d2ff7dd1872 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C2){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.modular.expect index 0ba7d444cc4..d2ff7dd1872 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C2){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.transformed.expect index 0ba7d444cc4..d2ff7dd1872 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_map.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C2){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.expect index 31102db235e..b0e2ddd9a38 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.transformed.expect index a6d5bc91b43..4a468aee793 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.expect index 31102db235e..b0e2ddd9a38 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.modular.expect index 31102db235e..b0e2ddd9a38 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.transformed.expect index a6d5bc91b43..4a468aee793 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_noMetadata_var_record.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.expect index b408436edd4..e03833245e2 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.transformed.expect index b408436edd4..e03833245e2 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.expect index b408436edd4..e03833245e2 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.modular.expect index b408436edd4..e03833245e2 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.transformed.expect index b408436edd4..e03833245e2 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_list.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.expect index 664dc7a19bd..85d028bd27c 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.transformed.expect index 664dc7a19bd..85d028bd27c 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.expect index 664dc7a19bd..85d028bd27c 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.modular.expect index 664dc7a19bd..85d028bd27c 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.transformed.expect index 664dc7a19bd..85d028bd27c 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_map.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.expect index 402f434b5d2..f01dded7bb6 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.transformed.expect index 79d4b1a7f3f..6f9a2d4f6e5 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.expect index 402f434b5d2..f01dded7bb6 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.modular.expect index 402f434b5d2..f01dded7bb6 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.transformed.expect index 79d4b1a7f3f..6f9a2d4f6e5 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_final_record.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { final dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.expect index 810299d92b9..a7b779cb1e1 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.transformed.expect index 810299d92b9..a7b779cb1e1 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.expect index 810299d92b9..a7b779cb1e1 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.modular.expect index 810299d92b9..a7b779cb1e1 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.transformed.expect index 810299d92b9..a7b779cb1e1 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_list.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.expect index e2cbd38c443..e93185668b4 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.transformed.expect index e2cbd38c443..e93185668b4 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.expect index e2cbd38c443..e93185668b4 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.modular.expect index e2cbd38c443..e93185668b4 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.transformed.expect index e2cbd38c443..e93185668b4 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_map.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::Map; if(!(#0#0 is{ForNonNullableByDefault} core::Map && #0#0{core::Map}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && #0#0{core::Map}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && (let final dynamic #t1 = a = #0#0{core::Map}.{core::Map::[]}(#C3){(core::Object?) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.expect index 1ca09ce6dda..620989cefad 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.transformed.expect index a8058a39a0b..23c42323117 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.expect index 1ca09ce6dda..620989cefad 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.modular.expect index 1ca09ce6dda..620989cefad 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.modular.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.transformed.expect index a8058a39a0b..23c42323117 100644 --- a/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/patternVariableDeclarationStatement_withMetadata_var_record.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static const field core::int annotation = #C1; static method f(dynamic x) → dynamic { dynamic a; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?)}.$1{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.expect b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.expect index 582ce513b84..1c72d29373d 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.expect @@ -45,7 +45,7 @@ class Class extends core::Object { static method method(dynamic x, dynamic y, dynamic z) → dynamic { dynamic a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, invalid-type, invalid-type); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:12:11: Error: Variable 'b' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. (a, int b, final int c) = x; @@ -56,7 +56,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = a = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:13:13: Error: Variable 'd' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. [a, final d] = y; @@ -64,7 +64,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.transformed.expect index c60b34a54e6..63d92a30af4 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.strong.transformed.expect @@ -45,7 +45,7 @@ class Class extends core::Object { static method method(dynamic x, dynamic y, dynamic z) → dynamic { dynamic a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, invalid-type, invalid-type); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:12:11: Error: Variable 'b' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. (a, int b, final int c) = x; @@ -56,7 +56,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = a = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:13:13: Error: Variable 'd' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. [a, final d] = y; @@ -64,7 +64,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; function ##2#3#initializer() → dynamic return #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#3 = ##2#3#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.expect b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.expect index 582ce513b84..1c72d29373d 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.expect @@ -45,7 +45,7 @@ class Class extends core::Object { static method method(dynamic x, dynamic y, dynamic z) → dynamic { dynamic a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, invalid-type, invalid-type); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:12:11: Error: Variable 'b' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. (a, int b, final int c) = x; @@ -56,7 +56,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = a = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:13:13: Error: Variable 'd' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. [a, final d] = y; @@ -64,7 +64,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.modular.expect index 582ce513b84..1c72d29373d 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.modular.expect @@ -45,7 +45,7 @@ class Class extends core::Object { static method method(dynamic x, dynamic y, dynamic z) → dynamic { dynamic a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, invalid-type, invalid-type); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = a = #0#0{(core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:12:11: Error: Variable 'b' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. (a, int b, final int c) = x; @@ -56,7 +56,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = a = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:13:13: Error: Variable 'd' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. [a, final d] = y; @@ -64,7 +64,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.transformed.expect index c60b34a54e6..63d92a30af4 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_declares.dart.weak.transformed.expect @@ -45,7 +45,7 @@ class Class extends core::Object { static method method(dynamic x, dynamic y, dynamic z) → dynamic { dynamic a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, invalid-type, invalid-type); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && (let final core::Object? #t1 = a = #0#0{(core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:12:11: Error: Variable 'b' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. (a, int b, final int c) = x; @@ -56,7 +56,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = a = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_declares.dart:13:13: Error: Variable 'd' can't be declared in a pattern assignment. Try using a preexisting variable or changing the assignment to a pattern variable declaration. [a, final d] = y; @@ -64,7 +64,7 @@ Try using a preexisting variable or changing the assignment to a pattern variabl throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; function ##2#3#initializer() → dynamic return #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#3 = ##2#3#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.expect b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.expect index 8414c189f45..7da9b3174c6 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.expect @@ -48,7 +48,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; definitelyAssignedLateFinal = 20; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:32:7: Error: Late final variable 'initializedLateFinal' definitely assigned. @@ -57,14 +57,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = definitelyUnassignedLateFinal = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.transformed.expect index 9109509ae8b..966e98551bd 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.strong.transformed.expect @@ -48,7 +48,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; definitelyAssignedLateFinal = 20; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:32:7: Error: Late final variable 'initializedLateFinal' definitely assigned. @@ -57,14 +57,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t2 = definitelyUnassignedLateFinal = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; function ##2#3#initializer() → dynamic return #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#3 = ##2#3#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.expect b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.expect index 8414c189f45..7da9b3174c6 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.expect @@ -48,7 +48,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; definitelyAssignedLateFinal = 20; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:32:7: Error: Late final variable 'initializedLateFinal' definitely assigned. @@ -57,14 +57,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = definitelyUnassignedLateFinal = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.modular.expect index 8414c189f45..7da9b3174c6 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.modular.expect @@ -48,7 +48,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; definitelyAssignedLateFinal = 20; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:32:7: Error: Late final variable 'initializedLateFinal' definitely assigned. @@ -57,14 +57,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t2 = definitelyUnassignedLateFinal = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; late final synthesized dynamic #2#3 = #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#9 = #2#3{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #2#16 = #2#3{core::List}.{core::List::[]}(1){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.transformed.expect index 9109509ae8b..966e98551bd 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_final.dart.weak.transformed.expect @@ -48,7 +48,7 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { definitelyAssignedFinal = 10; definitelyAssignedLateFinal = 20; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (core::int, core::int, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:31:4: Error: Can't assign to the final variable 'initializedFinal'. (initializedFinal, // Error ^^^^^^^^^^^^^^^^" && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:32:7: Error: Late final variable 'initializedLateFinal' definitely assigned. @@ -57,14 +57,14 @@ static method method(dynamic x, dynamic y, dynamic z) → dynamic { throw new core::StateError::•("Pattern matching error"); } =>#0#0; block { - final synthesized dynamic #1#0 = y; + final synthesized dynamic #1#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t2 = definitelyUnassignedLateFinal = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true) && invalid-expression "pkg/front_end/testcases/patterns/pattern_assignment_final.dart:35:5: Error: Final variable 'definitelyAssignedFinal' might already be assigned at this point. definitelyAssignedFinal] = y; // Error ^^^^^^^^^^^^^^^^^^^^^^^")) throw new core::StateError::•("Pattern matching error"); } =>#1#0; block { - final synthesized dynamic #2#0 = z; + final synthesized dynamic #2#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} self::Class; function ##2#3#initializer() → dynamic return #2#0{self::Class}.{self::Class::field2}{dynamic}; late final synthesized dynamic #2#3 = ##2#3#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.expect b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.expect index 10849b1ac82..985b7f8a6d2 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.expect @@ -40,7 +40,7 @@ class Class extends self::Super { method method(dynamic o, dynamic parameter) → dynamic { dynamic local; block { - final synthesized dynamic #0#0 = o; + final synthesized dynamic #0#0 = o as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic, dynamic, dynamic, dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = local = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t2 = parameter = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.transformed.expect index e23645db45c..ea3f0560ec7 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.strong.transformed.expect @@ -40,7 +40,7 @@ class Class extends self::Super { method method(dynamic o, dynamic parameter) → dynamic { dynamic local; block { - final synthesized dynamic #0#0 = o; + final synthesized dynamic #0#0 = o as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic, dynamic, dynamic, dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?) && (let final core::Object? #t1 = local = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t2 = parameter = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.expect b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.expect index 10849b1ac82..985b7f8a6d2 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.expect @@ -40,7 +40,7 @@ class Class extends self::Super { method method(dynamic o, dynamic parameter) → dynamic { dynamic local; block { - final synthesized dynamic #0#0 = o; + final synthesized dynamic #0#0 = o as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic, dynamic, dynamic, dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = local = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t2 = parameter = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.modular.expect index 10849b1ac82..985b7f8a6d2 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.modular.expect @@ -40,7 +40,7 @@ class Class extends self::Super { method method(dynamic o, dynamic parameter) → dynamic { dynamic local; block { - final synthesized dynamic #0#0 = o; + final synthesized dynamic #0#0 = o as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic, dynamic, dynamic, dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?) && (let final dynamic #t1 = local = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t2 = parameter = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.transformed.expect index e23645db45c..ea3f0560ec7 100644 --- a/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_assignment_non_variable.dart.weak.transformed.expect @@ -40,7 +40,7 @@ class Class extends self::Super { method method(dynamic o, dynamic parameter) → dynamic { dynamic local; block { - final synthesized dynamic #0#0 = o; + final synthesized dynamic #0#0 = o as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic, dynamic, dynamic, dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?) && (let final core::Object? #t1 = local = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t2 = parameter = #0#0{(core::Object?, core::Object?, core::Object?, core::Object?, core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; diff --git a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.expect b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.expect index 424ed97638c..c0873d30c81 100644 --- a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.expect @@ -9,7 +9,7 @@ static method f(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t2 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t3 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -24,7 +24,7 @@ static method g(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t7 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t8 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -39,7 +39,7 @@ static method h(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t12 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t13 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.transformed.expect index e7dd44916be..809bfec6d24 100644 --- a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.strong.transformed.expect @@ -9,7 +9,7 @@ static method f(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t2 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t3 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -24,7 +24,7 @@ static method g(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t7 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t8 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -39,7 +39,7 @@ static method h(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t12 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t13 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.expect b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.expect index 424ed97638c..c0873d30c81 100644 --- a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.expect @@ -9,7 +9,7 @@ static method f(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t2 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t3 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -24,7 +24,7 @@ static method g(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t7 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t8 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -39,7 +39,7 @@ static method h(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t12 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t13 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.modular.expect index 424ed97638c..c0873d30c81 100644 --- a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.modular.expect @@ -9,7 +9,7 @@ static method f(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t2 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t3 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -24,7 +24,7 @@ static method g(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t7 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t8 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -39,7 +39,7 @@ static method h(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final dynamic #t12 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final dynamic #t13 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.transformed.expect index e7dd44916be..809bfec6d24 100644 --- a/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/pattern_inForInitializer_element.dart.weak.transformed.expect @@ -9,7 +9,7 @@ static method f(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t2 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t3 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -24,7 +24,7 @@ static method g(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t7 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t8 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -39,7 +39,7 @@ static method h(dynamic x) → void dynamic a; dynamic b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, dynamic); if(!(#0#0 is{ForNonNullableByDefault} (core::Object?, core::Object?) && (let final core::Object? #t12 = a = #0#0{(core::Object?, core::Object?)}.$1{core::Object?} in true) && (let final core::Object? #t13 = b = #0#0{(core::Object?, core::Object?)}.$2{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } diff --git a/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.expect index 979f972245b..27b0b52180d 100644 --- a/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -16,12 +16,12 @@ static method test2(dynamic x) → dynamic { core::int b; core::int c; block { - final synthesized dynamic #1#0 = block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #1#0 = ( block { + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && ((let final dynamic #t2 = a = #0#6 as{ForNonNullableByDefault} core::int in true) && (let final dynamic #t3 = b = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); - } =>#0#0; + } =>#0#0) as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (let final dynamic #t4 = c = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#1#0; diff --git a/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.transformed.expect index cc4e464f5d5..d0bf5d66c0c 100644 --- a/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_assignments.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -16,14 +16,14 @@ static method test2(dynamic x) → dynamic { core::int b; core::int c; block { - final synthesized dynamic #1#0 = block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #1#0 = ( block { + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && ((let final core::int #t2 = a = #0#6 as{ForNonNullableByDefault} core::int in true) && (let final core::int #t3 = b = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); - } =>#0#0; + } =>#0#0) as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (let final core::int #t4 = c = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#1#0; diff --git a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.expect index 979f972245b..27b0b52180d 100644 --- a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -16,12 +16,12 @@ static method test2(dynamic x) → dynamic { core::int b; core::int c; block { - final synthesized dynamic #1#0 = block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #1#0 = ( block { + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && ((let final dynamic #t2 = a = #0#6 as{ForNonNullableByDefault} core::int in true) && (let final dynamic #t3 = b = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); - } =>#0#0; + } =>#0#0) as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (let final dynamic #t4 = c = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#1#0; diff --git a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.modular.expect index 979f972245b..27b0b52180d 100644 --- a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -16,12 +16,12 @@ static method test2(dynamic x) → dynamic { core::int b; core::int c; block { - final synthesized dynamic #1#0 = block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #1#0 = ( block { + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && ((let final dynamic #t2 = a = #0#6 as{ForNonNullableByDefault} core::int in true) && (let final dynamic #t3 = b = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); - } =>#0#0; + } =>#0#0) as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (let final dynamic #t4 = c = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#1#0; diff --git a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.transformed.expect index cc4e464f5d5..d0bf5d66c0c 100644 --- a/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_assignments.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int a; block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final core::int #t1 = a = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#0#0; @@ -16,14 +16,14 @@ static method test2(dynamic x) → dynamic { core::int b; core::int c; block { - final synthesized dynamic #1#0 = block { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #1#0 = ( block { + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && ((let final core::int #t2 = a = #0#6 as{ForNonNullableByDefault} core::int in true) && (let final core::int #t3 = b = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); - } =>#0#0; + } =>#0#0) as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (let final core::int #t4 = c = #1#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} as{ForNonNullableByDefault} core::int in true))) throw new core::StateError::•("Pattern matching error"); } =>#1#0; diff --git a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.expect index 5b12560743d..f0787c2b98b 100644 --- a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.expect @@ -8,7 +8,7 @@ static method test1(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) @@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t8 = n = #0#7{core::int} in true)))) @@ -45,7 +45,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i1; dynamic n1; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t12 = i1 = #0#6{core::int} in true)) && (let final dynamic #t13 = n1 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); @@ -56,7 +56,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i2; dynamic n2; { - final synthesized dynamic #1#0 = x; + final synthesized dynamic #1#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #1#8 = #1#0{core::List}.{core::List::[]}(2){(core::int) → dynamic}; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C2){(core::num) → core::bool} && (#1#8 is{ForNonNullableByDefault} core::int && (let final dynamic #t16 = i2 = #1#8{core::int} in true)) && (let final dynamic #t17 = n2 = #1#0{core::List}.{core::List::[]}(3){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.transformed.expect index 556d1a02538..bca050f034f 100644 --- a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.strong.transformed.expect @@ -8,7 +8,7 @@ static method test1(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -30,7 +30,7 @@ static method test2(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -53,7 +53,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i1; dynamic n1; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -66,7 +66,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i2; dynamic n2; { - final synthesized dynamic #1#0 = x; + final synthesized dynamic #1#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##1#8#initializer() → dynamic return #1#0{core::List}.{core::List::[]}(2){(core::int) → dynamic}; late final synthesized dynamic #1#8 = ##1#8#initializer(){() → dynamic}; @@ -155,4 +155,4 @@ Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_ Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:22 -> IntConstant(-1) Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:26 -> IntConstant(-2) Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:30 -> IntConstant(-2) -Extra constant evaluation: evaluated: 304, effectively constant: 24 +Extra constant evaluation: evaluated: 308, effectively constant: 24 diff --git a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.expect index 5b12560743d..f0787c2b98b 100644 --- a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.expect @@ -8,7 +8,7 @@ static method test1(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) @@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t8 = n = #0#7{core::int} in true)))) @@ -45,7 +45,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i1; dynamic n1; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t12 = i1 = #0#6{core::int} in true)) && (let final dynamic #t13 = n1 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); @@ -56,7 +56,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i2; dynamic n2; { - final synthesized dynamic #1#0 = x; + final synthesized dynamic #1#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #1#8 = #1#0{core::List}.{core::List::[]}(2){(core::int) → dynamic}; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C2){(core::num) → core::bool} && (#1#8 is{ForNonNullableByDefault} core::int && (let final dynamic #t16 = i2 = #1#8{core::int} in true)) && (let final dynamic #t17 = n2 = #1#0{core::List}.{core::List::[]}(3){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.modular.expect index 5b12560743d..f0787c2b98b 100644 --- a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.modular.expect @@ -8,7 +8,7 @@ static method test1(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = n = #0#7{core::int} in true)))) @@ -26,7 +26,7 @@ static method test2(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t7 = i = #0#6{core::int} in true)) && (#0#7 is{ForNonNullableByDefault} core::int && (let final dynamic #t8 = n = #0#7{core::int} in true)))) @@ -45,7 +45,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i1; dynamic n1; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C1){(core::num) → core::bool} && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t12 = i1 = #0#6{core::int} in true)) && (let final dynamic #t13 = n1 = #0#0{core::List}.{core::List::[]}(1){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); @@ -56,7 +56,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i2; dynamic n2; { - final synthesized dynamic #1#0 = x; + final synthesized dynamic #1#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #1#8 = #1#0{core::List}.{core::List::[]}(2){(core::int) → dynamic}; if(!(#1#0 is{ForNonNullableByDefault} core::List && #1#0{core::List}.{core::List::length}{core::int}.{core::num::>=}(#C2){(core::num) → core::bool} && (#1#8 is{ForNonNullableByDefault} core::int && (let final dynamic #t16 = i2 = #1#8{core::int} in true)) && (let final dynamic #t17 = n2 = #1#0{core::List}.{core::List::[]}(3){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.transformed.expect index 556d1a02538..bca050f034f 100644 --- a/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_c_style_pattern_for_in_collections.dart.weak.transformed.expect @@ -8,7 +8,7 @@ static method test1(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -30,7 +30,7 @@ static method test2(dynamic x) → dynamic core::int i; core::int n; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -53,7 +53,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i1; dynamic n1; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -66,7 +66,7 @@ static method test3(dynamic x, dynamic another) → dynamic core::int i2; dynamic n2; { - final synthesized dynamic #1#0 = x; + final synthesized dynamic #1#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##1#8#initializer() → dynamic return #1#0{core::List}.{core::List::[]}(2){(core::int) → dynamic}; late final synthesized dynamic #1#8 = ##1#8#initializer(){() → dynamic}; @@ -155,4 +155,4 @@ Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_ Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:22 -> IntConstant(-1) Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:26 -> IntConstant(-2) Evaluated: InstanceInvocation @ org-dartlang-testcase:///simple_c_style_pattern_for_in_collections.dart:48:30 -> IntConstant(-2) -Extra constant evaluation: evaluated: 304, effectively constant: 24 +Extra constant evaluation: evaluated: 308, effectively constant: 24 diff --git a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.expect index b97be897981..078cc717684 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.expect @@ -6,7 +6,7 @@ static method test1(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.transformed.expect index 21eb329e3a0..fbe5f21fba0 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.strong.transformed.expect @@ -6,7 +6,7 @@ static method test1(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.expect index b97be897981..078cc717684 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.expect @@ -6,7 +6,7 @@ static method test1(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.modular.expect index b97be897981..078cc717684 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.modular.expect @@ -6,7 +6,7 @@ static method test1(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.transformed.expect index 21eb329e3a0..fbe5f21fba0 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_for_statements.dart.weak.transformed.expect @@ -6,7 +6,7 @@ static method test1(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.expect b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.expect index 5f2e29684fb..620a67283dc 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int y; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = y = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -16,7 +16,7 @@ static method test2(dynamic x) → dynamic { core::String a; core::String b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized core::int #0#2 = #0#0{core::List}.{core::List::length}{core::int}; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(#0#2.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.transformed.expect index abc8222f0fa..677956eed50 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.strong.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int y; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -18,7 +18,7 @@ static method test2(dynamic x) → dynamic { core::String a; core::String b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#2#initializer() → core::int return #0#0{core::List}.{core::List::length}{core::int}; late final synthesized core::int #0#2 = ##0#2#initializer(){() → core::int}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.expect b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.expect index 5f2e29684fb..620a67283dc 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int y; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = y = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -16,7 +16,7 @@ static method test2(dynamic x) → dynamic { core::String a; core::String b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized core::int #0#2 = #0#0{core::List}.{core::List::length}{core::int}; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(#0#2.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.modular.expect index 5f2e29684fb..620a67283dc 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.modular.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int y; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t1 = y = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -16,7 +16,7 @@ static method test2(dynamic x) → dynamic { core::String a; core::String b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized core::int #0#2 = #0#0{core::List}.{core::List::length}{core::int}; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#7 = #0#0{core::List}.{core::List::[]}(#0#2.{core::num::-}(1){(core::num) → core::int}){(core::int) → dynamic}; diff --git a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.transformed.expect index abc8222f0fa..677956eed50 100644 --- a/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/simple_pattern_variable_declaration.dart.weak.transformed.expect @@ -5,7 +5,7 @@ import "dart:core" as core; static method test1(dynamic x) → dynamic { core::int y; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -18,7 +18,7 @@ static method test2(dynamic x) → dynamic { core::String a; core::String b; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#2#initializer() → core::int return #0#0{core::List}.{core::List::length}{core::int}; late final synthesized core::int #0#2 = ##0#2#initializer(){() → core::int}; diff --git a/pkg/front_end/testcases/patterns/variable_names.dart.strong.expect b/pkg/front_end/testcases/patterns/variable_names.dart.strong.expect index 8d214604f3a..9efaf6353be 100644 --- a/pkg/front_end/testcases/patterns/variable_names.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/variable_names.dart.strong.expect @@ -71,12 +71,12 @@ static method test(dynamic x, dynamic y, dynamic z) → dynamic { } } block { - final synthesized dynamic #4#0 = y; + final synthesized dynamic #4#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} self::A; if(!(#4#0 is{ForNonNullableByDefault} self::A && (let final dynamic #t15 = qux = #4#0{self::A}.{self::A::qux}{core::bool} in true) && (let final dynamic #t16 = quux = #4#0{self::A}.{self::A::quux}{core::String} in true))) throw new core::StateError::•("Pattern matching error"); } =>#4#0; block { - final synthesized dynamic #5#0 = z; + final synthesized dynamic #5#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, {quux: dynamic}); if(!(#5#0 is{ForNonNullableByDefault} (core::Object?, {quux: core::Object?}) && (let final dynamic #t17 = qux = #5#0{(core::Object?, {quux: core::Object?})}.$1{core::Object?} in true) && (let final dynamic #t18 = quux = #5#0{(core::Object?, {quux: core::Object?})}.quux{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#5#0; diff --git a/pkg/front_end/testcases/patterns/variable_names.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/variable_names.dart.strong.transformed.expect index 9f94ace94c8..0035b43cd50 100644 --- a/pkg/front_end/testcases/patterns/variable_names.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/variable_names.dart.strong.transformed.expect @@ -83,12 +83,12 @@ static method test(dynamic x, dynamic y, dynamic z) → dynamic { } } block { - final synthesized dynamic #4#0 = y; + final synthesized dynamic #4#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} self::A; if(!(#4#0 is{ForNonNullableByDefault} self::A && (let final core::bool #t15 = qux = #4#0{self::A}.{self::A::qux}{core::bool} in true) && (let final core::String #t16 = quux = #4#0{self::A}.{self::A::quux}{core::String} in true))) throw new core::StateError::•("Pattern matching error"); } =>#4#0; block { - final synthesized dynamic #5#0 = z; + final synthesized dynamic #5#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, {quux: dynamic}); if(!(#5#0 is{ForNonNullableByDefault} (core::Object?, {quux: core::Object?}) && (let final core::Object? #t17 = qux = #5#0{(core::Object?, {quux: core::Object?})}.$1{core::Object?} in true) && (let final core::Object? #t18 = quux = #5#0{(core::Object?, {quux: core::Object?})}.quux{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#5#0; diff --git a/pkg/front_end/testcases/patterns/variable_names.dart.weak.expect b/pkg/front_end/testcases/patterns/variable_names.dart.weak.expect index 8d214604f3a..9efaf6353be 100644 --- a/pkg/front_end/testcases/patterns/variable_names.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/variable_names.dart.weak.expect @@ -71,12 +71,12 @@ static method test(dynamic x, dynamic y, dynamic z) → dynamic { } } block { - final synthesized dynamic #4#0 = y; + final synthesized dynamic #4#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} self::A; if(!(#4#0 is{ForNonNullableByDefault} self::A && (let final dynamic #t15 = qux = #4#0{self::A}.{self::A::qux}{core::bool} in true) && (let final dynamic #t16 = quux = #4#0{self::A}.{self::A::quux}{core::String} in true))) throw new core::StateError::•("Pattern matching error"); } =>#4#0; block { - final synthesized dynamic #5#0 = z; + final synthesized dynamic #5#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, {quux: dynamic}); if(!(#5#0 is{ForNonNullableByDefault} (core::Object?, {quux: core::Object?}) && (let final dynamic #t17 = qux = #5#0{(core::Object?, {quux: core::Object?})}.$1{core::Object?} in true) && (let final dynamic #t18 = quux = #5#0{(core::Object?, {quux: core::Object?})}.quux{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#5#0; diff --git a/pkg/front_end/testcases/patterns/variable_names.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/variable_names.dart.weak.modular.expect index 8d214604f3a..9efaf6353be 100644 --- a/pkg/front_end/testcases/patterns/variable_names.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/variable_names.dart.weak.modular.expect @@ -71,12 +71,12 @@ static method test(dynamic x, dynamic y, dynamic z) → dynamic { } } block { - final synthesized dynamic #4#0 = y; + final synthesized dynamic #4#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} self::A; if(!(#4#0 is{ForNonNullableByDefault} self::A && (let final dynamic #t15 = qux = #4#0{self::A}.{self::A::qux}{core::bool} in true) && (let final dynamic #t16 = quux = #4#0{self::A}.{self::A::quux}{core::String} in true))) throw new core::StateError::•("Pattern matching error"); } =>#4#0; block { - final synthesized dynamic #5#0 = z; + final synthesized dynamic #5#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, {quux: dynamic}); if(!(#5#0 is{ForNonNullableByDefault} (core::Object?, {quux: core::Object?}) && (let final dynamic #t17 = qux = #5#0{(core::Object?, {quux: core::Object?})}.$1{core::Object?} in true) && (let final dynamic #t18 = quux = #5#0{(core::Object?, {quux: core::Object?})}.quux{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#5#0; diff --git a/pkg/front_end/testcases/patterns/variable_names.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/variable_names.dart.weak.transformed.expect index 9f94ace94c8..0035b43cd50 100644 --- a/pkg/front_end/testcases/patterns/variable_names.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/variable_names.dart.weak.transformed.expect @@ -83,12 +83,12 @@ static method test(dynamic x, dynamic y, dynamic z) → dynamic { } } block { - final synthesized dynamic #4#0 = y; + final synthesized dynamic #4#0 = y as{TypeError,ForDynamic,ForNonNullableByDefault} self::A; if(!(#4#0 is{ForNonNullableByDefault} self::A && (let final core::bool #t15 = qux = #4#0{self::A}.{self::A::qux}{core::bool} in true) && (let final core::String #t16 = quux = #4#0{self::A}.{self::A::quux}{core::String} in true))) throw new core::StateError::•("Pattern matching error"); } =>#4#0; block { - final synthesized dynamic #5#0 = z; + final synthesized dynamic #5#0 = z as{TypeError,ForDynamic,ForNonNullableByDefault} (dynamic, {quux: dynamic}); if(!(#5#0 is{ForNonNullableByDefault} (core::Object?, {quux: core::Object?}) && (let final core::Object? #t17 = qux = #5#0{(core::Object?, {quux: core::Object?})}.$1{core::Object?} in true) && (let final core::Object? #t18 = quux = #5#0{(core::Object?, {quux: core::Object?})}.quux{core::Object?} in true))) throw new core::StateError::•("Pattern matching error"); } =>#5#0; diff --git a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.expect b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.expect index 196330e5fe4..fbd29412805 100644 --- a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.expect +++ b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.expect @@ -7,7 +7,7 @@ static method test1(dynamic x) → dynamic { { dynamic i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = i = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -21,7 +21,7 @@ static method test2(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -38,7 +38,7 @@ static method test3(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.transformed.expect b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.transformed.expect index cf654cb4a28..3cb2313cdf6 100644 --- a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.transformed.expect +++ b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.strong.transformed.expect @@ -7,7 +7,7 @@ static method test1(dynamic x) → dynamic { { dynamic i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = i = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -21,7 +21,7 @@ static method test2(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -40,7 +40,7 @@ static method test3(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -85,4 +85,4 @@ constants { Extra constant evaluation status: Evaluated: InstanceInvocation @ org-dartlang-testcase:///variable_scoping_in_pattern_for_statements.dart:14:13 -> IntConstant(-1) Evaluated: InstanceInvocation @ org-dartlang-testcase:///variable_scoping_in_pattern_for_statements.dart:31:28 -> IntConstant(-1) -Extra constant evaluation: evaluated: 116, effectively constant: 2 +Extra constant evaluation: evaluated: 119, effectively constant: 2 diff --git a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.expect b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.expect index 196330e5fe4..fbd29412805 100644 --- a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.expect +++ b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.expect @@ -7,7 +7,7 @@ static method test1(dynamic x) → dynamic { { dynamic i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = i = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -21,7 +21,7 @@ static method test2(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -38,7 +38,7 @@ static method test3(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.modular.expect b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.modular.expect index 196330e5fe4..fbd29412805 100644 --- a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.modular.expect +++ b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.modular.expect @@ -7,7 +7,7 @@ static method test1(dynamic x) → dynamic { { dynamic i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = i = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -21,7 +21,7 @@ static method test2(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t3 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); @@ -38,7 +38,7 @@ static method test3(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; late final synthesized dynamic #0#6 = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (#0#6 is{ForNonNullableByDefault} core::int && (let final dynamic #t5 = i = #0#6{core::int} in true)))) throw new core::StateError::•("Pattern matching error"); diff --git a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.transformed.expect b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.transformed.expect index cf654cb4a28..3cb2313cdf6 100644 --- a/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.transformed.expect +++ b/pkg/front_end/testcases/patterns/variable_scoping_in_pattern_for_statements.dart.weak.transformed.expect @@ -7,7 +7,7 @@ static method test1(dynamic x) → dynamic { { dynamic i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; if(!(#0#0 is{ForNonNullableByDefault} core::List && #0#0{core::List}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t1 = i = #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic} in true))) throw new core::StateError::•("Pattern matching error"); } @@ -21,7 +21,7 @@ static method test2(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -40,7 +40,7 @@ static method test3(dynamic x) → dynamic { { core::int i; { - final synthesized dynamic #0#0 = x; + final synthesized dynamic #0#0 = x as{TypeError,ForDynamic,ForNonNullableByDefault} core::List; function ##0#6#initializer() → dynamic return #0#0{core::List}.{core::List::[]}(0){(core::int) → dynamic}; late final synthesized dynamic #0#6 = ##0#6#initializer(){() → dynamic}; @@ -85,4 +85,4 @@ constants { Extra constant evaluation status: Evaluated: InstanceInvocation @ org-dartlang-testcase:///variable_scoping_in_pattern_for_statements.dart:14:13 -> IntConstant(-1) Evaluated: InstanceInvocation @ org-dartlang-testcase:///variable_scoping_in_pattern_for_statements.dart:31:28 -> IntConstant(-1) -Extra constant evaluation: evaluated: 116, effectively constant: 2 +Extra constant evaluation: evaluated: 119, effectively constant: 2