| 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 |
| } |