| 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 |
| } |