blob: c312014c6c03ddc2e18d2c8f66703c6bf341e5fa [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test(dynamic x) dynamic {
{
core::int y;
final dynamic #0#0 = x;
if(let final dynamic #t1 = #0#0 as{ForNonNullableByDefault} core::int in let final dynamic #t2 = y = #0#0 as{ForNonNullableByDefault} core::int in true) {
return 0;
}
}
{
core::String y;
final dynamic #1#0 = x;
late final dynamic #1#6 = #1#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#1#0 is{ForNonNullableByDefault} core::List<dynamic> && #1#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t3 = #1#6 as{ForNonNullableByDefault} core::String in let final dynamic #t4 = y = #1#6 as{ForNonNullableByDefault} core::String in true)) {
return 1;
}
}
{
core::bool y;
final dynamic #2#0 = x;
late final dynamic #2#6 = #2#0{core::List<dynamic>}.{core::List::[]}(0){(core::int) → dynamic};
if(#2#0 is{ForNonNullableByDefault} core::List<dynamic> && #2#0{core::List<dynamic>}.{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C2 && (let final dynamic #t5 = #2#6 as{ForNonNullableByDefault} core::List<core::bool> in (#2#6 as{ForNonNullableByDefault} core::List<core::bool>).{core::List::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && (let final dynamic #t6 = y = (#2#6 as{ForNonNullableByDefault} core::List<core::bool>).{core::List::[]}(0){(core::int) → core::bool} in true)) && #C3 =={core::num::==}{(core::Object) → core::bool} #2#0{core::List<dynamic>}.{core::List::[]}(1){(core::int) → dynamic}) {
return 2;
}
}
{
final dynamic #3#0 = x;
if(let final dynamic #t7 = #3#0 as{ForNonNullableByDefault} core::int in #C1 =={core::num::==}{(core::Object) → core::bool} #3#0 as{ForNonNullableByDefault} core::int) {
return 3;
}
}
{
final core::int #4#0 = x{core::int};
if(let final dynamic #t8 = #4#0 as{ForNonNullableByDefault} core::String in true) {
return 4;
}
}
}
constants {
#C1 = 1
#C2 = 2
#C3 = 0
}