| library /*isNonNullableByDefault*/; |
| // |
| // Problems in library: |
| // |
| // pkg/front_end/testcases/patterns/map_pattern_errors.dart:7:15: Error: A map pattern requires exactly two type arguments. |
| // case <int>{}: |
| // ^ |
| // |
| // pkg/front_end/testcases/patterns/map_pattern_errors.dart:8:28: Error: A map pattern requires exactly two type arguments. |
| // case <int, int, String>{}: |
| // ^ |
| // |
| import self as self; |
| import "dart:core" as core; |
| |
| static method test(dynamic o) → dynamic { |
| #L1: |
| { |
| final dynamic #0#0 = o; |
| function ##0#4#initializer() → core::bool |
| return #0#0{core::Map<invalid-type, invalid-type>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1; |
| late final core::bool #0#4 = ##0#4#initializer(){() → core::bool}; |
| if(#0#0 is{ForNonNullableByDefault} core::Map<invalid-type, invalid-type> && #0#4 || #0#0 is{ForNonNullableByDefault} core::Map<invalid-type, invalid-type> && #0#4) { |
| } |
| } |
| } |
| |
| constants { |
| #C1 = 0 |
| } |
