blob: c2fe57af2c5f628e570f807f16bc1cbbac6d3b6c [file] [log] [blame]
library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;
static method test(dynamic x) dynamic {
#L1:
{
final dynamic #t1 = x;
final core::int #t2 = -1;
final core::bool #t3 = false;
if(!#t3) {
final dynamic #t4 = #t1;
if(#t4 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (#t4{core::Map<dynamic, dynamic>}.{core::Map::containsKey}("a"){(core::Object?) core::bool} && #t4{core::Map<dynamic, dynamic>}.{core::Map::containsKey}("b"){(core::Object?) → core::bool})) {
final dynamic #t5 = #t4{core::Map<dynamic, dynamic>}.{core::Map::[]}("a"){(core::Object?) → dynamic};
final dynamic #t6 = #t4{core::Map<dynamic, dynamic>}.{core::Map::[]}("b"){(core::Object?) → dynamic};
if(#t5 =={core::Object::==}{(core::Object) core::bool} 1 && #t6 =={core::Object::==}{(core::Object) → core::bool} 2) {
#t2 = 0;
#t3 = true;
}
}
}
switch(#t2) {
#L2:
case #C1:
{
{
break #L1;
}
}
}
}
}
constants {
#C1 = 0
}