| library; |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test1(core::Record x) → dynamic { |
| { |
| final synthesized core::Record #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 core::Record #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 core::Record #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 core::Record #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?}) { |
| } |
| } |
| { |
| final synthesized core::Record #4#0 = x; |
| synthesized core::Object? #4#3; |
| synthesized core::bool #4#3#isSet = false; |
| synthesized core::Object? #4#4; |
| synthesized core::bool #4#4#isSet = false; |
| { |
| hoisted core::double y; |
| 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#isSet ?{core::Object?} #4#3{core::Object?} : let final core::bool* #t1 = #4#3#isSet = true in #4#3 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$2{core::Object?}) is core::double && (let final core::double #t2 = y = (#4#3#isSet ?{core::Object?} #4#3{core::Object?} : let final core::bool* #t3 = #4#3#isSet = true in #4#3 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$2{core::Object?}) as{Unchecked} core::double in true)) && (let final core::Object? #t4 = (#4#4#isSet ?{core::Object?} #4#4{core::Object?} : let final core::bool* #t5 = #4#4#isSet = true in #4#4 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.foo{core::Object?})! in (#4#4#isSet ?{core::Object?} #4#4{core::Object?} : let final core::bool* #t6 = #4#4#isSet = true in #4#4 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.foo{core::Object?})! is core::String)) { |
| return 0; |
| } |
| else { |
| return 1; |
| } |
| } |
| } |
| } |
| static method test2((core::int, core::int) x) → dynamic { |
| { |
| final synthesized(core::int, core::int) #0#0 = x; |
| if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.$1{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.$2{core::int}) { |
| } |
| } |
| } |
| static method test3((core::int, {required a: core::int}) x) → dynamic { |
| { |
| final synthesized(core::int, {required a: core::int}) #0#0 = x; |
| if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.$1{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.a{core::int}) { |
| } |
| } |
| { |
| final synthesized(core::int, {required a: core::int}) #1#0 = x; |
| if(#C1 =={core::num::==}{(core::Object) → core::bool} #1#0.a{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #1#0.$1{core::int}) { |
| } |
| } |
| } |
| static method test4(({required a: core::int, required b: core::int}) x) → dynamic { |
| { |
| final synthesized({required a: core::int, required b: core::int}) #0#0 = x; |
| if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.a{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.b{core::int}) { |
| } |
| } |
| } |
| static method test5((core::int, core::double, {required bar: dynamic, required foo: core::String}) x) → dynamic { |
| { |
| final synthesized(core::int, core::double, {required bar: dynamic, required foo: core::String}) #0#0 = x; |
| synthesized core::double #0#2; |
| synthesized core::bool #0#2#isSet = false; |
| synthesized core::String #0#3; |
| synthesized core::bool #0#3#isSet = false; |
| { |
| hoisted core::double y; |
| if(#0#0.$1{core::int} is core::int && ((#0#2#isSet ?{core::double} #0#2{core::double} : let final core::bool* #t7 = #0#2#isSet = true in #0#2 = #0#0.$2{core::double}) is core::double && (let final core::double #t8 = y = #0#2#isSet ?{core::double} #0#2{core::double} : let final core::bool* #t9 = #0#2#isSet = true in #0#2 = #0#0.$2{core::double} in true)) && (let final core::String #t10 = (#0#3#isSet ?{core::String} #0#3{core::String} : let final core::bool* #t11 = #0#3#isSet = true in #0#3 = #0#0.foo{core::String})! in (#0#3#isSet ?{core::String} #0#3{core::String} : let final core::bool* #t12 = #0#3#isSet = true in #0#3 = #0#0.foo{core::String})! is core::String)) { |
| return 0; |
| } |
| else { |
| return 1; |
| } |
| } |
| } |
| } |
| |
| constants { |
| #C1 = 1 |
| #C2 = 2 |
| } |