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; | |
{ | |
if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0 && (x = true)) { | |
{ | |
core::print("OK!"); | |
} | |
} | |
} | |
} | |
} | |
constants { | |
#C1 = 1 | |
} |