| library; | |
| import self as self; | |
| import "dart:core" as core; | |
| static method main() → void { | |
| core::int d = 1; | |
| core::bool x = false; | |
| #L1: | |
| { | |
| final synthesized core::int #0#0 = d; | |
| final const synthesized core::int #0#1 = #C1; | |
| { | |
| if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0 && (x = true)) { | |
| { | |
| core::print("OK!"); | |
| } | |
| } | |
| } | |
| } | |
| } | |
| constants { | |
| #C1 = 1 | |
| } |