blob: ff84a0896d0345a2e8010bd5780d35a23cd866fc [file] [log] [blame]
library;
import self as self;
import "dart:core" as core;
static method test1() dynamic {
core::Map<dynamic, dynamic> x = <dynamic, dynamic>{1: 1};
{
final synthesized core::Map<dynamic, dynamic> #0#0 = x;
if(#0#0 is core::Map<core::int, core::int> && #0#0{core::Map<core::int, core::int>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{core::Map<core::int, core::int>}.{core::Map::[]}(#C1){(core::Object?) → core::int?}) {
return 1;
}
else {
return 0;
}
}
}
static method test2() dynamic {
core::Map<dynamic, dynamic> x = <core::int, core::int>{1: 1, 2: 2};
{
final synthesized core::Map<dynamic, dynamic> #0#0 = x;
if(#0#0 is core::Map<core::int, core::int> && #0#0{core::Map<core::int, core::int>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{core::Map<core::int, core::int>}.{core::Map::[]}(#C1){(core::Object?) → core::int?}) {
return 0;
}
else {
return 1;
}
}
}
static method main() dynamic {
self::expectEquals(0, self::test1());
self::expectEquals(0, self::test2());
}
static method expectEquals(dynamic x, dynamic y) dynamic {
if(!(x =={core::Object::==}{(core::Object) core::bool} y)) {
throw "Expected ${x} to be equal to ${y}.";
}
}
constants {
#C1 = 1
}