pkg/front_end/testcases/patterns/map_pattern_inside_if_case.dart.strong.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;
    late final synthesized dynamic #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C1){(core::Object?) → dynamic};
    late final synthesized dynamic #0#9 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C2){(core::Object?) → dynamic};
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (!(#0#4 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C1){(core::Object?) → core::bool}) && #C3 =={core::num::==}{(core::Object) → core::bool} #0#4 && (!(#0#9 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C2){(core::Object?) → core::bool}) && #C4 =={core::num::==}{(core::Object) → core::bool} #0#9) {
    }
  }
}
static method test2(dynamic x) → dynamic {
  {
    final synthesized dynamic #0#0 = x;
    late final synthesized dynamic #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C3){(core::Object?) → dynamic};
    late final synthesized dynamic #0#9 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C5){(core::Object?) → dynamic};
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (!(#0#4 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C3){(core::Object?) → core::bool}) && #C4 =={core::num::==}{(core::Object) → core::bool} #0#4 && (!(#0#9 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C5){(core::Object?) → core::bool}) && #C6 =={core::String::==}{(core::Object) → core::bool} #0#9) {
      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;
    late final synthesized core::double? #0#3 = #0#0.{core::Map::[]}(#C7){(core::Object?) → core::double?};
    if((!(#0#3 == null) || null is{ForNonNullableByDefault} core::double && #0#0.{core::Map::containsKey}(#C7){(core::Object?) → core::bool}) && #C8 =={core::num::==}{(core::Object) → core::bool} #0#3{core::double}) {
    }
  }
  {
    final synthesized core::Map<core::bool, core::double> #1#0 = x;
    late final synthesized core::double? #1#3 = #1#0.{core::Map::[]}(#C9){(core::Object?) → core::double?};
    if((!(#1#3 == null) || null is{ForNonNullableByDefault} core::double && #1#0.{core::Map::containsKey}(#C9){(core::Object?) → core::bool}) && #C10 =={core::num::==}{(core::Object) → core::bool} #1#3{core::double}) {
    }
  }
}
static method test4(self::MyMap x) → dynamic {
  {
    final synthesized self::MyMap #0#0 = x;
    late final synthesized core::int? #0#3 = #0#0.{core::Map::[]}(#C11){(core::Object?) → core::int?};
    late final synthesized core::int? #0#8 = #0#0.{core::Map::[]}(#C12){(core::Object?) → core::int?};
    if((!(#0#3 == null) || null is{ForNonNullableByDefault} core::int && #0#0.{core::Map::containsKey}(#C11){(core::Object?) → core::bool}) && #C3 =={core::num::==}{(core::Object) → core::bool} #0#3{core::int} && (!(#0#8 == null) || null is{ForNonNullableByDefault} core::int && #0#0.{core::Map::containsKey}(#C12){(core::Object?) → core::bool}) && #C4 =={core::num::==}{(core::Object) → core::bool} #0#8{core::int}) {
    }
  }
}
static method test5(dynamic x) → dynamic {
  {
    hoisted dynamic y1;
    hoisted core::String y2;
    final synthesized dynamic #0#0 = x;
    late final synthesized dynamic #0#4 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C11){(core::Object?) → dynamic};
    late final synthesized dynamic #0#7 = #0#0{core::Map<dynamic, dynamic>}.{core::Map::[]}(#C12){(core::Object?) → dynamic};
    if(#0#0 is{ForNonNullableByDefault} core::Map<dynamic, dynamic> && (!(#0#4 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C11){(core::Object?) → core::bool}) && (let final dynamic #t1 = y1 = #0#4 in true) && (!(#0#7 == null) || null is{ForNonNullableByDefault} dynamic && #0#0{core::Map<dynamic, dynamic>}.{core::Map::containsKey}(#C12){(core::Object?) → core::bool}) && (let final dynamic #t2 = #0#7! in #0#7! is{ForNonNullableByDefault} core::String && (let final dynamic #t3 = y2 = #0#7! as{ForNonNullableByDefault} core::String in true))) {
      return 0;
    }
    else {
      return 1;
    }
  }
}

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