| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test(dynamic x) → dynamic { |
| { |
| final synthesized dynamic #0#0 = x; |
| if(#0#0 is (core::Object?, core::Object?) && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{(core::Object?, core::Object?)}.$1{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0{(core::Object?, core::Object?)}.$2{core::Object?}) { |
| } |
| } |
| { |
| final synthesized dynamic #1#0 = x; |
| if(#1#0 is (core::Object?, {a: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #1#0{(core::Object?, {a: core::Object?})}.$1{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #1#0{(core::Object?, {a: core::Object?})}.a{core::Object?}) { |
| } |
| } |
| { |
| final synthesized dynamic #2#0 = x; |
| if(#2#0 is (core::Object?, {a: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #2#0{(core::Object?, {a: core::Object?})}.a{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #2#0{(core::Object?, {a: core::Object?})}.$1{core::Object?}) { |
| } |
| } |
| { |
| final synthesized dynamic #3#0 = x; |
| if(#3#0 is ({a: core::Object?, b: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #3#0{({a: core::Object?, b: core::Object?})}.a{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #3#0{({a: core::Object?, b: core::Object?})}.b{core::Object?}) { |
| } |
| } |
| { |
| hoisted core::double y; |
| final synthesized dynamic #4#0 = x; |
| late final synthesized core::Object? #4#3 = (#4#0 as{Unchecked} (core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})).$2{core::Object?}; |
| late final synthesized core::Object? #4#4 = (#4#0 as{Unchecked} (core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})).foo{core::Object?}; |
| if(#4#0 is (core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?}) && #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$1{core::Object?} is core::int && (#4#3 is core::double && (let final dynamic #t1 = y = #4#3{core::double} in true)) && (let final dynamic #t2 = #4#4! in #4#4! is core::String)) { |
| return 0; |
| } |
| else { |
| return 1; |
| } |
| } |
| } |
| |
| constants { |
| #C1 = 1 |
| #C2 = 2 |
| } |