dart-lang/sdk
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

[cfe] Add desugaring of non-matching rest pattern

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

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

Change-Id: Ide77d1ee262f8778de7eb8743b04508ee290ee10
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/276940
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Chloe Stefantsova <cstefantsova@google.com>
This commit is contained in:
Chloe Stefantsova
2022-12-22 11:25:05 +00:00
committed by Commit Queue
parent e53332946a
commit 1f55c4ce32
108 changed files with 851 additions and 211 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkg/front_end/lib/src/fasta/kernel/body_builder.dart
+8
View File
@@ -8388,6 +8388,14 @@ class BodyBuilder extends StackListenerImpl
}
}
@override
void handleRestPattern(Token dots, {required bool hasSubPattern}) {
debugEvent("RestPattern");
// TODO(cstefantsova): Handle the case of a present sub-pattern.
push(new RestPattern(dots.charOffset));
}
@override
void handleRelationalPattern(Token token) {
debugEvent("RelationalPattern");
pkg/front_end/lib/src/fasta/kernel/internal_ast.dart
+126 -20
View File
@@ -4413,21 +4413,49 @@ class ListPattern extends Pattern {
greaterThanOrEqualsName,
fileOffset,
callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
ObjectAccessTarget equalsTarget = inferenceVisitor.findInterfaceMember(
inferenceVisitor.coreTypes.intNonNullableRawType,
equalsName,
fileOffset,
callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
// greaterThanOrEqualsInvocation: `lengthGet` >= `patterns.length`
// ==> LVAR.length >= `patterns.length`
Expression greaterThanOrEqualsInvocation = new InstanceInvocation(
InstanceAccessKind.Instance,
lengthGet,
greaterThanOrEqualsName,
inferenceVisitor.engine.forest.createArguments(fileOffset, [
inferenceVisitor.engine.forest
.createIntLiteral(fileOffset, patterns.length)
]),
functionType:
greaterThanOrEqualsTarget.getFunctionType(inferenceVisitor),
interfaceTarget: greaterThanOrEqualsTarget.member as Procedure)
..fileOffset = fileOffset;
Expression lengthCheck;
bool hasRestPattern = false;
for (Pattern pattern in patterns) {
if (pattern is RestPattern) {
hasRestPattern = true;
break;
}
}
if (hasRestPattern) {
// lengthCheck: `lengthGet` >= `patterns.length - 1`
// ==> LVAR.length >= `patterns.length - 1`
lengthCheck = new InstanceInvocation(
InstanceAccessKind.Instance,
lengthGet,
greaterThanOrEqualsName,
inferenceVisitor.engine.forest.createArguments(fileOffset, [
inferenceVisitor.engine.forest
.createIntLiteral(fileOffset, patterns.length - 1)
]),
functionType:
greaterThanOrEqualsTarget.getFunctionType(inferenceVisitor),
interfaceTarget: greaterThanOrEqualsTarget.member as Procedure)
..fileOffset = fileOffset;
} else {
// lengthCheck: `lengthGet` == `patterns.length`
lengthCheck = new InstanceInvocation(
InstanceAccessKind.Instance,
lengthGet,
equalsName,
inferenceVisitor.engine.forest.createArguments(fileOffset, [
inferenceVisitor.engine.forest
.createIntLiteral(fileOffset, patterns.length)
]),
functionType: equalsTarget.getFunctionType(inferenceVisitor),
interfaceTarget: equalsTarget.member as Procedure)
..fileOffset = fileOffset;
}
// typeAndLengthCheck: `listVariable` is `targetListType`
// && `greaterThanOrEqualsInvocation`
@@ -4445,11 +4473,15 @@ class ListPattern extends Pattern {
targetListType,
forNonNullableByDefault: false),
doubleAmpersandName.text,
greaterThanOrEqualsInvocation);
lengthCheck);
} else {
typeAndLengthCheck = greaterThanOrEqualsInvocation;
typeAndLengthCheck = lengthCheck;
}
ObjectAccessTarget intSubtraction = inferenceVisitor.findInterfaceMember(
inferenceVisitor.coreTypes.intNonNullableRawType, minusName, fileOffset,
callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
ObjectAccessTarget elementAccess = inferenceVisitor.findInterfaceMember(
targetListType, indexGetName, fileOffset,
callSiteAccessKind: CallSiteAccessKind.operatorInvocation);
@@ -4458,17 +4490,58 @@ class ListPattern extends Pattern {
PatternTransformationResult transformationResult =
new PatternTransformationResult([]);
List<VariableDeclaration> elementAccessVariables = [];
bool hasSeenRestPattern = false;
for (int i = 0; i < patterns.length; i++) {
// listElement: `listVariable`[`i`]
// ==> LVAR[`i`]
if (patterns[i] is RestPattern) {
hasSeenRestPattern = true;
continue;
}
Expression elementIndex;
if (!hasSeenRestPattern) {
// elementIndex: `i`
elementIndex =
inferenceVisitor.engine.forest.createIntLiteral(fileOffset, i);
} else {
// elementIndex: `listVariable`.length - `patterns.length - i`
// ==> LVAR.length - `patterns.length - i`
// lengthGet: `listVariable`.length ==> LVAR.length
Expression lengthGet = new InstanceGet(
InstanceAccessKind.Instance,
inferenceVisitor.engine.forest
.createVariableGet(fileOffset, listVariable)
..promotedType =
typeCheckForTargetListNeeded ? targetListType : null,
lengthName,
resultType: lengthTarget.getGetterType(inferenceVisitor),
interfaceTarget: lengthTarget.member as Procedure)
..fileOffset = fileOffset;
// elementIndex: `lengthGet` - `patterns.length - i`
// ==> LVAR.length - `patterns.length - i`
elementIndex = new InstanceInvocation(
InstanceAccessKind.Instance,
lengthGet,
minusName,
inferenceVisitor.engine.forest.createArguments(fileOffset, [
inferenceVisitor.engine.forest
.createIntLiteral(fileOffset, patterns.length - i)
]),
interfaceTarget: intSubtraction.member as Procedure,
functionType: intSubtraction.getFunctionType(inferenceVisitor));
}
// listElement: `listVariable`[`elementIndex`]
// ==> LVAR[`elementIndex`]
Expression listElement = new InstanceInvocation(
InstanceAccessKind.Instance,
inferenceVisitor.engine.forest
.createVariableGet(fileOffset, listVariable)
..promotedType = targetListType,
indexGetName,
inferenceVisitor.engine.forest.createArguments(fileOffset,
[inferenceVisitor.engine.forest.createIntLiteral(fileOffset, i)]),
inferenceVisitor.engine.forest
.createArguments(fileOffset, [elementIndex]),
functionType: elementAccessFunctionType,
interfaceTarget: elementAccess.member as Procedure);
@@ -5544,6 +5617,39 @@ class VariablePattern extends Pattern {
}
}
class RestPattern extends Pattern {
RestPattern(int fileOffset) : super(fileOffset);
@override
PatternInferenceResult acceptInference(InferenceVisitorImpl visitor,
{required SharedMatchContext context}) {
return visitor.visitRestPattern(this, context: context);
}
@override
List<VariableDeclaration> get declaredVariables => const [];
@override
void toTextInternal(AstPrinter printer) {
printer.write('...');
}
@override
String toString() {
return "RestPattern(${toStringInternal()}";
}
@override
PatternTransformationResult transform(
Expression matchedExpression,
DartType matchedType,
Expression variableInitializingContext,
InferenceVisitorBase inferenceVisitor) {
return unsupported(
"RestPattern.transform", fileOffset, inferenceVisitor.helper.uri);
}
}
enum PatternTransformationElementKind {
regular,
logicalOrPatternLeftBegin,
pkg/front_end/lib/src/fasta/type_inference/inference_visitor.dart
+5
View File
@@ -9131,6 +9131,11 @@ class InferenceVisitorImpl extends InferenceVisitorBase
return const PatternInferenceResult();
}
PatternInferenceResult visitRestPattern(RestPattern pattern,
{required SharedMatchContext context}) {
return const PatternInferenceResult();
}
PatternInferenceResult visitRelationalPattern(
RelationalPattern pattern, {
required SharedMatchContext context,
pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.expect
+3 -3
View File
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t3 = x;
final dynamic #t4 = #t3;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
{
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t7 = x;
final dynamic #t8 = #t7;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
final core::List<core::bool> #t12 = #t11;
if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
{
pkg/front_end/testcases/patterns/cast_inside_if_case.dart.strong.transformed.expect
+3 -3
View File
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t3 = x;
final dynamic #t4 = #t3;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
{
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t7 = x;
final dynamic #t8 = #t7;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
final core::List<core::bool> #t12 = #t11;
if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
{
pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.expect
+3 -3
View File
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t3 = x;
final dynamic #t4 = #t3;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
{
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t7 = x;
final dynamic #t8 = #t7;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
final core::List<core::bool> #t12 = #t11;
if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
{
pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.modular.expect
+3 -3
View File
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t3 = x;
final dynamic #t4 = #t3;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
{
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t7 = x;
final dynamic #t8 = #t7;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
final core::List<core::bool> #t12 = #t11;
if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
{
pkg/front_end/testcases/patterns/cast_inside_if_case.dart.weak.transformed.expect
+3 -3
View File
@@ -13,7 +13,7 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t3 = x;
final dynamic #t4 = #t3;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::String #t6 = #t5 as{ForNonNullableByDefault} core::String;
{
@@ -25,12 +25,12 @@ static method test(dynamic x) → dynamic {
}
final dynamic #t7 = x;
final dynamic #t8 = #t7;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t8{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final core::List<core::bool> #t11 = #t9 as{ForNonNullableByDefault} core::List<core::bool>;
final core::List<core::bool> #t12 = #t11;
if(#t12.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t12.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t10 =={core::Object::==}{(core::Object) → core::bool} 0) {
{
pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/cast_inside_list_pattern.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final core::int #t6 = #t5 as{ForNonNullableByDefault} core::int;
if(#t6 =={core::num::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t4{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_empty_whitespace.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(0){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(0){(core::Object) → core::bool}) {
#t2 = 0;
#t3 = true;
}
pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_case_with_type_arguments.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t4 is core::List<core::int> && #t4{core::List<core::int>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::int #t5 = #t4{core::List<core::int>}.{core::List::[]}(0){(core::int) → core::int};
final core::int #t6 = #t4{core::List<core::int>}.{core::List::[]}(1){(core::int) → core::int};
if(#t5 =={core::num::==}{(core::Object) → core::bool} 1 && #t6 =={core::num::==}{(core::Object) → core::bool} 2) {
pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
final core::Object #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.strong.transformed.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final core::Object #t4 = let dynamic #t5 = #t1 in #t5 == null ?{core::Object} #t5 as{ForNonNullableByDefault} core::Object : #t5{core::Object};
final core::Object #t6 = #t4;
if(#t6 is core::List<dynamic> && #t6{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t6 is core::List<dynamic> && #t6{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t7 = #t6{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t7 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
final core::Object #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.modular.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object;
final core::Object #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_cast.dart.weak.transformed.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final core::Object #t4 = #t1;
final core::Object #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.expect
+16 -16
View File
@@ -5,7 +5,7 @@ import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final dynamic #t2 = #t1;
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t6 = x;
final dynamic #t7 = #t6;
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t13 = x;
final dynamic #t14 = #t13;
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t15;
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t21 = x;
final dynamic #t22 = #t21;
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t24 = #t23;
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t26 = #t25;
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t28 = #t27;
if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
final dynamic #t30 = #t29;
if(!(#t30 == null)) {
final dynamic #t31 = #t30;
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t35 = x;
final core::List<core::Object?> #t36 = #t35;
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t40 = x;
final core::List<core::Object?> #t41 = #t40;
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t47 = x;
final core::List<core::Object?> #t48 = #t47;
if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t51 = #t49;
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t55 = x;
final core::List<core::Object?> #t56 = #t55;
if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t58 = #t57;
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t60 = #t59;
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t62 = #t61;
if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t64 = #t63;
if(!(#t64 == null)) {
final core::List<core::Object?> #t65 = #t64;
if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.strong.transformed.expect
+16 -16
View File
@@ -5,7 +5,7 @@ import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final dynamic #t2 = #t1;
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t6 = x;
final dynamic #t7 = #t6;
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t13 = x;
final dynamic #t14 = #t13;
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t15;
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t21 = x;
final dynamic #t22 = #t21;
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t24 = #t23;
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t26 = #t25;
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t28 = #t27;
if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
final dynamic #t30 = #t29;
if(!(#t30 == null)) {
final dynamic #t31 = #t30;
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t35 = x;
final core::List<core::Object?> #t36 = #t35;
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t40 = x;
final core::List<core::Object?> #t41 = #t40;
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t47 = x;
final core::List<core::Object?> #t48 = #t47;
if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t51 = #t49;
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t55 = x;
final core::List<core::Object?> #t56 = #t55;
if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t58 = #t57;
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t60 = #t59;
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t62 = #t61;
if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t64 = #t63;
if(!(#t64 == null)) {
final core::List<core::Object?> #t65 = #t64;
if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.expect
+16 -16
View File
@@ -5,7 +5,7 @@ import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final dynamic #t2 = #t1;
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t6 = x;
final dynamic #t7 = #t6;
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t13 = x;
final dynamic #t14 = #t13;
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t15;
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t21 = x;
final dynamic #t22 = #t21;
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t24 = #t23;
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t26 = #t25;
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t28 = #t27;
if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
final dynamic #t30 = #t29;
if(!(#t30 == null)) {
final dynamic #t31 = #t30;
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t35 = x;
final core::List<core::Object?> #t36 = #t35;
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t40 = x;
final core::List<core::Object?> #t41 = #t40;
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t47 = x;
final core::List<core::Object?> #t48 = #t47;
if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t51 = #t49;
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t55 = x;
final core::List<core::Object?> #t56 = #t55;
if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t58 = #t57;
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t60 = #t59;
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t62 = #t61;
if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t64 = #t63;
if(!(#t64 == null)) {
final core::List<core::Object?> #t65 = #t64;
if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.modular.expect
+16 -16
View File
@@ -5,7 +5,7 @@ import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final dynamic #t2 = #t1;
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t6 = x;
final dynamic #t7 = #t6;
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t13 = x;
final dynamic #t14 = #t13;
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t15;
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t21 = x;
final dynamic #t22 = #t21;
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t24 = #t23;
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t26 = #t25;
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t28 = #t27;
if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
final dynamic #t30 = #t29;
if(!(#t30 == null)) {
final dynamic #t31 = #t30;
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t35 = x;
final core::List<core::Object?> #t36 = #t35;
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t40 = x;
final core::List<core::Object?> #t41 = #t40;
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t47 = x;
final core::List<core::Object?> #t48 = #t47;
if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t51 = #t49;
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t55 = x;
final core::List<core::Object?> #t56 = #t55;
if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t58 = #t57;
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t60 = #t59;
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t62 = #t61;
if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t64 = #t63;
if(!(#t64 == null)) {
final core::List<core::Object?> #t65 = #t64;
if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
pkg/front_end/testcases/patterns/list_pattern_inside_if_case.dart.weak.transformed.expect
+16 -16
View File
@@ -5,7 +5,7 @@ import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final dynamic #t2 = #t1;
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t2 is core::List<core::num> && #t2{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t3 = #t2{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t4 = #t2{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t5 = #t2{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -17,7 +17,7 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t6 = x;
final dynamic #t7 = #t6;
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t7 is core::List<core::String?> && #t7{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t8 = #t7{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t9 = #t7{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t10 = #t7{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -37,11 +37,11 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t13 = x;
final dynamic #t14 = #t13;
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t14 is core::List<dynamic> && #t14{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t15 = #t14{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t16 = #t14{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t15;
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t17 is core::List<core::String?> && #t17{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t18 = #t17{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t19 = #t17{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t20 = #t18;
@@ -58,13 +58,13 @@ static method test1(dynamic x) → dynamic {
}
final dynamic #t21 = x;
final dynamic #t22 = #t21;
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t22 is core::List<dynamic> && #t22{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t23 = #t22{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t24 = #t23;
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t24 is core::List<dynamic> && #t24{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t25 = #t24{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t26 = #t25;
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t26 is core::List<dynamic> && #t26{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t27 = #t26{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t28 = #t27;
if(!(#t28 == null)) {
@@ -82,7 +82,7 @@ static method test1(dynamic x) → dynamic {
final dynamic #t30 = #t29;
if(!(#t30 == null)) {
final dynamic #t31 = #t30;
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t31 is core::List<dynamic> && #t31{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t32 = #t31{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t33 = #t31{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t34 = #t31{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
@@ -97,7 +97,7 @@ static method test1(dynamic x) → dynamic {
static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t35 = x;
final core::List<core::Object?> #t36 = #t35;
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t36 is core::List<core::num> && #t36{core::List<core::num>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::num #t37 = #t36{core::List<core::num>}.{core::List::[]}(0){(core::int) → core::num};
final core::num #t38 = #t36{core::List<core::num>}.{core::List::[]}(1){(core::int) → core::num};
final core::num #t39 = #t36{core::List<core::num>}.{core::List::[]}(2){(core::int) → core::num};
@@ -109,7 +109,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t40 = x;
final core::List<core::Object?> #t41 = #t40;
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t41 is core::List<core::String?> && #t41{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final core::String? #t42 = #t41{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t43 = #t41{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t44 = #t41{core::List<core::String?>}.{core::List::[]}(2){(core::int) → core::String?};
@@ -129,11 +129,11 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t47 = x;
final core::List<core::Object?> #t48 = #t47;
if(#t48.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t48.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t49 = #t48{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t50 = #t48{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t51 = #t49;
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t51 is core::List<core::String?> && #t51{core::List<core::String?>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final core::String? #t52 = #t51{core::List<core::String?>}.{core::List::[]}(0){(core::int) → core::String?};
final core::String? #t53 = #t51{core::List<core::String?>}.{core::List::[]}(1){(core::int) → core::String?};
final core::String? #t54 = #t52;
@@ -150,13 +150,13 @@ static method test2(core::List<core::Object?> x) → dynamic {
}
final core::List<core::Object?> #t55 = x;
final core::List<core::Object?> #t56 = #t55;
if(#t56.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t56.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t57 = #t56{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t58 = #t57;
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t58 is core::List<dynamic> && #t58{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t59 = #t58{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t60 = #t59;
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t60 is core::List<dynamic> && #t60{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t61 = #t60{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t62 = #t61;
if(!(#t62 == null)) {
@@ -174,7 +174,7 @@ static method test2(core::List<core::Object?> x) → dynamic {
final core::List<core::Object?> #t64 = #t63;
if(!(#t64 == null)) {
final core::List<core::Object?> #t65 = #t64;
if(#t65.{core::List::length}{core::int}.{core::num::>=}(3){(core::num) → core::bool}) {
if(#t65.{core::List::length}{core::int}.{core::num::==}(3){(core::Object) → core::bool}) {
final dynamic #t66 = #t65{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t67 = #t65{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t68 = #t65{core::List<dynamic>}.{core::List::[]}(2){(core::int) → dynamic};
pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final dynamic #t4 = #t1!;
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.strong.transformed.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final dynamic #t4 = #t1!;
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final dynamic #t4 = #t1!;
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.modular.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final dynamic #t4 = #t1!;
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_assert.dart.weak.transformed.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
if(!#t3) {
final dynamic #t4 = #t1!;
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.expect
+1 -1
View File
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t4 = #t1;
if(!(#t4 == null)) {
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.strong.transformed.expect
+1 -1
View File
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t4 = #t1;
if(!(#t4 == null)) {
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.expect
+1 -1
View File
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t4 = #t1;
if(!(#t4 == null)) {
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.modular.expect
+1 -1
View File
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t4 = #t1;
if(!(#t4 == null)) {
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/list_pattern_inside_null_check.dart.weak.transformed.expect
+1 -1
View File
@@ -12,7 +12,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t4 = #t1;
if(!(#t4 == null)) {
final dynamic #t5 = #t4;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.expect
+2 -2
View File
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
dynamic #t10;
dynamic #t11;
final dynamic #t12 = #t7;
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t14 = #t13;
if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
}
if(!#t8) {
final dynamic #t15 = #t7;
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t16;
if(#t17 is core::String) {
pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.strong.transformed.expect
+2 -2
View File
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
dynamic #t10;
dynamic #t11;
final dynamic #t12 = #t7;
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t14 = #t13;
if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
}
if(!#t8) {
final dynamic #t15 = #t7;
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t16;
if(#t17 is core::String) {
pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.expect
+2 -2
View File
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
dynamic #t10;
dynamic #t11;
final dynamic #t12 = #t7;
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t14 = #t13;
if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
}
if(!#t8) {
final dynamic #t15 = #t7;
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t16;
if(#t17 is core::String) {
pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.modular.expect
+2 -2
View File
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
dynamic #t10;
dynamic #t11;
final dynamic #t12 = #t7;
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t14 = #t13;
if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
}
if(!#t8) {
final dynamic #t15 = #t7;
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t16;
if(#t17 is core::String) {
pkg/front_end/testcases/patterns/logical_or_inside_if_case.dart.weak.transformed.expect
+2 -2
View File
@@ -25,7 +25,7 @@ static method test2(dynamic x) → dynamic {
dynamic #t10;
dynamic #t11;
final dynamic #t12 = #t7;
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t12 is core::List<dynamic> && #t12{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t13 = #t12{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t14 = #t13;
if(#t14 is core::int) {
@@ -35,7 +35,7 @@ static method test2(dynamic x) → dynamic {
}
if(!#t8) {
final dynamic #t15 = #t7;
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t15 is core::List<dynamic> && #t15{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t16 = #t15{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t17 = #t16;
if(#t17 is core::String) {
pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.expect
+1 -1
View File
@@ -149,7 +149,7 @@ static method main() → dynamic {
self::A a = new self::A::•();
final self::A #t1 = a;
final self::A #t2 = #t1;
if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t5 = #t3;
pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.strong.transformed.expect
+1 -1
View File
@@ -535,7 +535,7 @@ static method main() → dynamic {
self::A a = new self::A::•();
final self::A #t10 = a;
final self::A #t11 = #t10;
if(#t11.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t11.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t12 = #t11{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t13 = #t11{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t14 = #t12;
pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.expect
+1 -1
View File
@@ -149,7 +149,7 @@ static method main() → dynamic {
self::A a = new self::A::•();
final self::A #t1 = a;
final self::A #t2 = #t1;
if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t5 = #t3;
pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.modular.expect
+1 -1
View File
@@ -149,7 +149,7 @@ static method main() → dynamic {
self::A a = new self::A::•();
final self::A #t1 = a;
final self::A #t2 = #t1;
if(#t2.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t2.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t3 = #t2{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t4 = #t2{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t5 = #t3;
pkg/front_end/testcases/patterns/matching_and_capturing_accesses_list_element_once.dart.weak.transformed.expect
+1 -1
View File
@@ -535,7 +535,7 @@ static method main() → dynamic {
self::A a = new self::A::•();
final self::A #t9 = a;
final self::A #t10 = #t9;
if(#t10.{core::List::length}{core::int}.{core::num::>=}(2){(core::num) → core::bool}) {
if(#t10.{core::List::length}{core::int}.{core::num::==}(2){(core::Object) → core::bool}) {
final dynamic #t11 = #t10{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t12 = #t10{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic};
final dynamic #t13 = #t11;
pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5!;
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5!;
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5!;
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5!;
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_assert_inside_list_pattern.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5!;
if(#t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5;
if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5;
if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5;
if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5;
if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/null_check_inside_list_pattern.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t6 = #t5;
if(!(#t6 == null) && #t6 =={core::Object::==}{(core::Object) → core::bool} 1) {
pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.strong.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.modular.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/relational_inside_list_pattern.dart.weak.transformed.expect
+1 -1
View File
@@ -10,7 +10,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t4 is core::List<dynamic> && #t4{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t5 = #t4{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) → core::bool} 1) {
#t2 = 0;
pkg/front_end/testcases/patterns/simple_rest_pattern.dart
+50
View File
@@ -0,0 +1,50 @@
// Copyright (c) 2022, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.
test1(dynamic x) {
if (x case [int y]) {
return y;
} else {
return null;
}
}
test2(dynamic x) {
if (x case [int y, ...]) {
return y;
} else {
return null;
}
}
test3(dynamic x) {
if (x case [..., int y]) {
return y;
} else {
return null;
}
}
main() {
expectEquals(test1([1]), 1);
expectEquals(test1([1, 2, 3]), null);
expectEquals(test1([]), null);
expectEquals(test1("foo"), null);
expectEquals(test2([1]), 1);
expectEquals(test2([1, 2, 3]), 1);
expectEquals(test2([]), null);
expectEquals(test2("foo"), null);
expectEquals(test3([1]), 1);
expectEquals(test3([1, 2, 3]), 3);
expectEquals(test3([]), null);
expectEquals(test3("foo"), null);
}
expectEquals(x, y) {
if (x != y) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.expect
+86
View File
@@ -0,0 +1,86 @@
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::int) {
#t2 = false;
{
core::int y = #t5{core::int};
{
return y;
}
}
}
}
if(#t2) {
return null;
}
}
static method test2(dynamic x) → dynamic {
final dynamic #t6 = x;
final core::bool #t7 = true;
final dynamic #t8 = #t6;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t9;
if(#t10 is core::int) {
#t7 = false;
{
core::int y = #t10{core::int};
{
return y;
}
}
}
}
if(#t7) {
return null;
}
}
static method test3(dynamic x) → dynamic {
final dynamic #t11 = x;
final core::bool #t12 = true;
final dynamic #t13 = #t11;
if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
final dynamic #t15 = #t14;
if(#t15 is core::int) {
#t12 = false;
{
core::int y = #t15{core::int};
{
return y;
}
}
}
}
if(#t12) {
return null;
}
}
static method main() → dynamic {
self::expectEquals(self::test1(<core::int>[1]), 1);
self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test1(<dynamic>[]), null);
self::expectEquals(self::test1("foo"), null);
self::expectEquals(self::test2(<core::int>[1]), 1);
self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
self::expectEquals(self::test2(<dynamic>[]), null);
self::expectEquals(self::test2("foo"), null);
self::expectEquals(self::test3(<core::int>[1]), 1);
self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
self::expectEquals(self::test3(<dynamic>[]), null);
self::expectEquals(self::test3("foo"), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.strong.transformed.expect
+86
View File
@@ -0,0 +1,86 @@
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::int) {
#t2 = false;
{
core::int y = #t5{core::int};
{
return y;
}
}
}
}
if(#t2) {
return null;
}
}
static method test2(dynamic x) → dynamic {
final dynamic #t6 = x;
final core::bool #t7 = true;
final dynamic #t8 = #t6;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t9;
if(#t10 is core::int) {
#t7 = false;
{
core::int y = #t10{core::int};
{
return y;
}
}
}
}
if(#t7) {
return null;
}
}
static method test3(dynamic x) → dynamic {
final dynamic #t11 = x;
final core::bool #t12 = true;
final dynamic #t13 = #t11;
if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
final dynamic #t15 = #t14;
if(#t15 is core::int) {
#t12 = false;
{
core::int y = #t15{core::int};
{
return y;
}
}
}
}
if(#t12) {
return null;
}
}
static method main() → dynamic {
self::expectEquals(self::test1(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test1(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
self::expectEquals(self::test1(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test1("foo"), null);
self::expectEquals(self::test2(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test2(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 1);
self::expectEquals(self::test2(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test2("foo"), null);
self::expectEquals(self::test3(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test3(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 3);
self::expectEquals(self::test3(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test3("foo"), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline.expect
+5
View File
@@ -0,0 +1,5 @@
test1(dynamic x) {}
test2(dynamic x) {}
test3(dynamic x) {}
main() {}
expectEquals(x, y) {}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.textual_outline_modelled.expect
+5
View File
@@ -0,0 +1,5 @@
expectEquals(x, y) {}
main() {}
test1(dynamic x) {}
test2(dynamic x) {}
test3(dynamic x) {}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.expect
+86
View File
@@ -0,0 +1,86 @@
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::int) {
#t2 = false;
{
core::int y = #t5{core::int};
{
return y;
}
}
}
}
if(#t2) {
return null;
}
}
static method test2(dynamic x) → dynamic {
final dynamic #t6 = x;
final core::bool #t7 = true;
final dynamic #t8 = #t6;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t9;
if(#t10 is core::int) {
#t7 = false;
{
core::int y = #t10{core::int};
{
return y;
}
}
}
}
if(#t7) {
return null;
}
}
static method test3(dynamic x) → dynamic {
final dynamic #t11 = x;
final core::bool #t12 = true;
final dynamic #t13 = #t11;
if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
final dynamic #t15 = #t14;
if(#t15 is core::int) {
#t12 = false;
{
core::int y = #t15{core::int};
{
return y;
}
}
}
}
if(#t12) {
return null;
}
}
static method main() → dynamic {
self::expectEquals(self::test1(<core::int>[1]), 1);
self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test1(<dynamic>[]), null);
self::expectEquals(self::test1("foo"), null);
self::expectEquals(self::test2(<core::int>[1]), 1);
self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
self::expectEquals(self::test2(<dynamic>[]), null);
self::expectEquals(self::test2("foo"), null);
self::expectEquals(self::test3(<core::int>[1]), 1);
self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
self::expectEquals(self::test3(<dynamic>[]), null);
self::expectEquals(self::test3("foo"), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.modular.expect
+86
View File
@@ -0,0 +1,86 @@
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::int) {
#t2 = false;
{
core::int y = #t5{core::int};
{
return y;
}
}
}
}
if(#t2) {
return null;
}
}
static method test2(dynamic x) → dynamic {
final dynamic #t6 = x;
final core::bool #t7 = true;
final dynamic #t8 = #t6;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t9;
if(#t10 is core::int) {
#t7 = false;
{
core::int y = #t10{core::int};
{
return y;
}
}
}
}
if(#t7) {
return null;
}
}
static method test3(dynamic x) → dynamic {
final dynamic #t11 = x;
final core::bool #t12 = true;
final dynamic #t13 = #t11;
if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
final dynamic #t15 = #t14;
if(#t15 is core::int) {
#t12 = false;
{
core::int y = #t15{core::int};
{
return y;
}
}
}
}
if(#t12) {
return null;
}
}
static method main() → dynamic {
self::expectEquals(self::test1(<core::int>[1]), 1);
self::expectEquals(self::test1(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test1(<dynamic>[]), null);
self::expectEquals(self::test1("foo"), null);
self::expectEquals(self::test2(<core::int>[1]), 1);
self::expectEquals(self::test2(<core::int>[1, 2, 3]), 1);
self::expectEquals(self::test2(<dynamic>[]), null);
self::expectEquals(self::test2("foo"), null);
self::expectEquals(self::test3(<core::int>[1]), 1);
self::expectEquals(self::test3(<core::int>[1, 2, 3]), 3);
self::expectEquals(self::test3(<dynamic>[]), null);
self::expectEquals(self::test3("foo"), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.outline.expect
+13
View File
@@ -0,0 +1,13 @@
library /*isNonNullableByDefault*/;
import self as self;
static method test1(dynamic x) → dynamic
;
static method test2(dynamic x) → dynamic
;
static method test3(dynamic x) → dynamic
;
static method main() → dynamic
;
static method expectEquals(dynamic x, dynamic y) → dynamic
;
pkg/front_end/testcases/patterns/simple_rest_pattern.dart.weak.transformed.expect
+86
View File
@@ -0,0 +1,86 @@
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test1(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::int) {
#t2 = false;
{
core::int y = #t5{core::int};
{
return y;
}
}
}
}
if(#t2) {
return null;
}
}
static method test2(dynamic x) → dynamic {
final dynamic #t6 = x;
final core::bool #t7 = true;
final dynamic #t8 = #t6;
if(#t8 is core::List<dynamic> && #t8{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t9 = #t8{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t10 = #t9;
if(#t10 is core::int) {
#t7 = false;
{
core::int y = #t10{core::int};
{
return y;
}
}
}
}
if(#t7) {
return null;
}
}
static method test3(dynamic x) → dynamic {
final dynamic #t11 = x;
final core::bool #t12 = true;
final dynamic #t13 = #t11;
if(#t13 is core::List<dynamic> && #t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
final dynamic #t14 = #t13{core::List<dynamic>}.{core::List::[]}(#t13{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::-}(1){(core::num) → core::num}){(core::int) → dynamic};
final dynamic #t15 = #t14;
if(#t15 is core::int) {
#t12 = false;
{
core::int y = #t15{core::int};
{
return y;
}
}
}
}
if(#t12) {
return null;
}
}
static method main() → dynamic {
self::expectEquals(self::test1(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test1(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
self::expectEquals(self::test1(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test1("foo"), null);
self::expectEquals(self::test2(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test2(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 1);
self::expectEquals(self::test2(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test2("foo"), null);
self::expectEquals(self::test3(core::_GrowableList::_literal1<core::int>(1)), 1);
self::expectEquals(self::test3(core::_GrowableList::_literal3<core::int>(1, 2, 3)), 3);
self::expectEquals(self::test3(core::_GrowableList::•<dynamic>(0)), null);
self::expectEquals(self::test3("foo"), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
if(!(x =={core::Object::==}{(core::Object) → core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
pkg/front_end/testcases/patterns/simple_runtime_test.dart
+4 -1
View File
@@ -11,9 +11,12 @@ test(dynamic x) {
}
main() {
expectEquals(test(["one", "two", "three"]), "one");
expectEquals(test(["one", "two", "three"]), null);
expectEquals(test(["one"]), "one");
expectEquals(test([1, 2, 3]), null);
expectEquals(test([1]), null);
expectEquals(test([true, false]), null);
expectEquals(test([true]), null);
expectEquals(test([]), null);
}
pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.expect
+5 -2
View File
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
}
}
static method main() → dynamic {
self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
self::expectEquals(self::test(<core::String>["one"]), "one");
self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test(<core::int>[1]), null);
self::expectEquals(self::test(<core::bool>[true, false]), null);
self::expectEquals(self::test(<core::bool>[true]), null);
self::expectEquals(self::test(<dynamic>[]), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
pkg/front_end/testcases/patterns/simple_runtime_test.dart.strong.transformed.expect
+5 -2
View File
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
}
}
static method main() → dynamic {
self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), "one");
self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::String>("one")), "one");
self::expectEquals(self::test(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::int>(1)), null);
self::expectEquals(self::test(core::_GrowableList::_literal2<core::bool>(true, false)), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::bool>(true)), null);
self::expectEquals(self::test(core::_GrowableList::•<dynamic>(0)), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.expect
+5 -2
View File
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
}
}
static method main() → dynamic {
self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
self::expectEquals(self::test(<core::String>["one"]), "one");
self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test(<core::int>[1]), null);
self::expectEquals(self::test(<core::bool>[true, false]), null);
self::expectEquals(self::test(<core::bool>[true]), null);
self::expectEquals(self::test(<dynamic>[]), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.modular.expect
+5 -2
View File
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
}
}
static method main() → dynamic {
self::expectEquals(self::test(<core::String>["one", "two", "three"]), "one");
self::expectEquals(self::test(<core::String>["one", "two", "three"]), null);
self::expectEquals(self::test(<core::String>["one"]), "one");
self::expectEquals(self::test(<core::int>[1, 2, 3]), null);
self::expectEquals(self::test(<core::int>[1]), null);
self::expectEquals(self::test(<core::bool>[true, false]), null);
self::expectEquals(self::test(<core::bool>[true]), null);
self::expectEquals(self::test(<dynamic>[]), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
pkg/front_end/testcases/patterns/simple_runtime_test.dart.weak.transformed.expect
+5 -2
View File
@@ -6,7 +6,7 @@ static method test(dynamic x) → dynamic {
final dynamic #t1 = x;
final core::bool #t2 = true;
final dynamic #t3 = #t1;
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t3 is core::List<dynamic> && #t3{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t4 = #t3{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t5 = #t4;
if(#t5 is core::String) {
@@ -24,9 +24,12 @@ static method test(dynamic x) → dynamic {
}
}
static method main() → dynamic {
self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), "one");
self::expectEquals(self::test(core::_GrowableList::_literal3<core::String>("one", "two", "three")), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::String>("one")), "one");
self::expectEquals(self::test(core::_GrowableList::_literal3<core::int>(1, 2, 3)), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::int>(1)), null);
self::expectEquals(self::test(core::_GrowableList::_literal2<core::bool>(true, false)), null);
self::expectEquals(self::test(core::_GrowableList::_literal1<core::bool>(true)), null);
self::expectEquals(self::test(core::_GrowableList::•<dynamic>(0)), null);
}
static method expectEquals(dynamic x, dynamic y) → dynamic {
pkg/front_end/testcases/patterns/simple_switch.dart.strong.expect
+1 -1
View File
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
}
if(!#t5) {
final dynamic #t7 = #t3;
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t9 = #t8;
if(#t9 is core::double) {
pkg/front_end/testcases/patterns/simple_switch.dart.strong.transformed.expect
+1 -1
View File
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
}
if(!#t5) {
final dynamic #t7 = #t3;
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t9 = #t8;
if(#t9 is core::double) {
pkg/front_end/testcases/patterns/simple_switch.dart.weak.expect
+1 -1
View File
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
}
if(!#t5) {
final dynamic #t7 = #t3;
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t9 = #t8;
if(#t9 is core::double) {
pkg/front_end/testcases/patterns/simple_switch.dart.weak.modular.expect
+1 -1
View File
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
}
if(!#t5) {
final dynamic #t7 = #t3;
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t9 = #t8;
if(#t9 is core::double) {
pkg/front_end/testcases/patterns/simple_switch.dart.weak.transformed.expect
+1 -1
View File
@@ -18,7 +18,7 @@ static method test(dynamic x) → dynamic {
}
if(!#t5) {
final dynamic #t7 = #t3;
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t7 is core::List<dynamic> && #t7{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t8 = #t7{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t9 = #t8;
if(#t9 is core::double) {
pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t4 = false;
if(!#t4) {
final dynamic #t5 = #t2;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t7 = #t6;
if(#t7 is core::int) {
pkg/front_end/testcases/patterns/typed_variable_named_as_inside_list_pattern.dart.strong.transformed.expect
+1 -1
View File
@@ -11,7 +11,7 @@ static method test(dynamic x) → dynamic {
final core::bool #t4 = false;
if(!#t4) {
final dynamic #t5 = #t2;
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::>=}(1){(core::num) → core::bool}) {
if(#t5 is core::List<dynamic> && #t5{core::List<dynamic>}.{core::List::length}{core::int}.{core::num::==}(1){(core::Object) → core::bool}) {
final dynamic #t6 = #t5{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
final dynamic #t7 = #t6;
if(#t7 is core::int) {

Some files were not shown because too many files have changed in this diff Show More