| 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 synthesized dynamic #0#0 = o; |
| late final synthesized core::bool #0#4 = #0#0{core::Map<invalid-type, invalid-type>}.{core::Map::length}{core::int}.{core::num::<=}(#C1){(core::num) → 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 |
| } |