pkg/front_end/testcases/patterns/map_pattern_inside_if_case.dart.weak.modular.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

abstract class MyMap extends core::Object implements core::Map<core::String, core::int> {
  synthetic constructor •() → self::MyMap
    : super core::Object::•()
    ;
}
static method test1(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool} && #C3 =={core::num::==}{(core::Object) → core::bool} #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C2){(core::Object?) → dynamic} && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C4){(core::Object?) → core::bool} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C4){(core::Object?) → dynamic}) {
    }
  }
}
static method test2(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C3){(core::Object?) → dynamic} && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C5){(core::Object?) → core::bool} && #C6 =={core::String::==}{(core::Object) → core::bool} #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C5){(core::Object?) → dynamic}) {
      return 0;
    }
    else {
      return 1;
    }
  }
}
static method test3(core::Map<core::bool, core::double> x) → dynamic {
  {
    final synthesized core::Map<core::bool, core::double> #0#0 = x;
    if(#0#0.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C3 && #0#0.{core::Map::containsKey}(#C7){(core::Object?) → core::bool} && #C8 =={core::num::==}{(core::Object) → core::bool} #0#0.{core::Map::[]}(#C7){(core::Object?) → core::double?}) {
    }
  }
  {
    final synthesized core::Map<core::bool, core::double> #1#0 = x;
    if(#1#0.{core::Map::length}{core::int}.{core::num::<=}(#C9){(core::num) → core::bool}) {
    }
  }
}
static method test4(self::MyMap x) → dynamic {
  {
    final synthesized self::MyMap #0#0 = x;
    if(#0#0.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0.{core::Map::containsKey}(#C10){(core::Object?) → core::bool} && #C3 =={core::num::==}{(core::Object) → core::bool} #0#0.{core::Map::[]}(#C10){(core::Object?) → core::int?} && #0#0.{core::Map::containsKey}(#C11){(core::Object?) → core::bool} && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0.{core::Map::[]}(#C11){(core::Object?) → core::int?}) {
    }
  }
}
static method test5(dynamic x) → dynamic {
  {
    dynamic y1;
    core::String y2;
    final synthesized dynamic #0#0 = x;
    late final synthesized dynamic #0#11 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C11){(core::Object?) → dynamic};
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && #0#0{core::Map<dynamic, dynamic>}.{core::Map::length}{core::int} =={core::num::==}{(core::Object) → core::bool} #C1 && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C10){(core::Object?) → core::bool} && (let final dynamic #t1 = y1 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C10){(core::Object?) → dynamic} in true) && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C11){(core::Object?) → core::bool} && (let final dynamic #t2 = #0#11! in #0#11! is{ForNonNullableByDefault} core::String && (let final dynamic #t3 = y2 = #0#11! as{ForNonNullableByDefault} core::String in true))) {
      return 0;
    }
    else {
      return 1;
    }
  }
}

constants  {
  #C1 = 2
  #C2 = "a"
  #C3 = 1
  #C4 = "b"
  #C5 = "foo"
  #C6 = "bar"
  #C7 = true
  #C8 = 3.14
  #C9 = 0
  #C10 = "one"
  #C11 = "two"
}