library /*isNonNullableByDefault*/; | |
import self as self; | |
import "dart:core" as core; | |
static method test(dynamic x) → dynamic { | |
#L1: | |
{ | |
final dynamic #t1 = x; | |
core::int #t2 = -1; | |
core::bool #t3 = false; | |
if(!#t3) { | |
final core::Object #t4 = #t1 as{ForNonNullableByDefault} core::Object; | |
if(#t4 =={core::Object::==}{(core::Object) → core::bool} #C1) { | |
#t2 = 0; | |
#t3 = true; | |
} | |
} | |
switch(#t2) { | |
#L2: | |
case #C2: | |
{ | |
{ | |
break #L1; | |
} | |
} | |
} | |
} | |
} | |
constants { | |
#C1 = "x" | |
#C2 = 0 | |
} |