pkg/front_end/testcases/patterns/records/record_pattern_inside_if_case.dart.weak.transformed.expect

library;
import self as self;
import "dart:core" as core;

static method test1(core::Record x) → dynamic {
  {
    final synthesized core::Record #0#0 = x;
    if(#0#0 is (core::Object?, core::Object?) && #C1 =={core::num::==}{(core::Object) → core::bool} #0#0{(core::Object?, core::Object?)}.$1{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0{(core::Object?, core::Object?)}.$2{core::Object?}) {
    }
  }
  {
    final synthesized core::Record #1#0 = x;
    if(#1#0 is (core::Object?, {a: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #1#0{(core::Object?, {a: core::Object?})}.$1{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #1#0{(core::Object?, {a: core::Object?})}.a{core::Object?}) {
    }
  }
  {
    final synthesized core::Record #2#0 = x;
    if(#2#0 is (core::Object?, {a: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #2#0{(core::Object?, {a: core::Object?})}.a{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #2#0{(core::Object?, {a: core::Object?})}.$1{core::Object?}) {
    }
  }
  {
    final synthesized core::Record #3#0 = x;
    if(#3#0 is ({a: core::Object?, b: core::Object?}) && #C1 =={core::num::==}{(core::Object) → core::bool} #3#0{({a: core::Object?, b: core::Object?})}.a{core::Object?} && #C2 =={core::num::==}{(core::Object) → core::bool} #3#0{({a: core::Object?, b: core::Object?})}.b{core::Object?}) {
    }
  }
  {
    final synthesized core::Record #4#0 = x;
    synthesized core::Object? #4#3;
    synthesized core::bool #4#3#isSet = false;
    synthesized core::Object? #4#4;
    synthesized core::bool #4#4#isSet = false;
    {
      hoisted core::double y;
      if(#4#0 is (core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?}) && #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$1{core::Object?} is core::int && ((#4#3#isSet ?{core::Object?} #4#3{core::Object?} : let final core::bool #t1 = #4#3#isSet = true in #4#3 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$2{core::Object?}) is core::double && (let final core::double #t2 = y = (#4#3#isSet ?{core::Object?} #4#3{core::Object?} : let final core::bool #t3 = #4#3#isSet = true in #4#3 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.$2{core::Object?}) as{Unchecked} core::double in true)) && (let final core::Object? #t4 = (#4#4#isSet ?{core::Object?} #4#4{core::Object?} : let final core::bool #t5 = #4#4#isSet = true in #4#4 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.foo{core::Object?})! in (#4#4#isSet ?{core::Object?} #4#4{core::Object?} : let final core::bool #t6 = #4#4#isSet = true in #4#4 = #4#0{(core::Object?, core::Object?, {bar: core::Object?, foo: core::Object?})}.foo{core::Object?})! is core::String)) {
        return 0;
      }
      else {
        return 1;
      }
    }
  }
}
static method test2((core::int, core::int) x) → dynamic {
  {
    final synthesized(core::int, core::int) #0#0 = x;
    if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.$1{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.$2{core::int}) {
    }
  }
}
static method test3((core::int, {required a: core::int}) x) → dynamic {
  {
    final synthesized(core::int, {required a: core::int}) #0#0 = x;
    if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.$1{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.a{core::int}) {
    }
  }
  {
    final synthesized(core::int, {required a: core::int}) #1#0 = x;
    if(#C1 =={core::num::==}{(core::Object) → core::bool} #1#0.a{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #1#0.$1{core::int}) {
    }
  }
}
static method test4(({required a: core::int, required b: core::int}) x) → dynamic {
  {
    final synthesized({required a: core::int, required b: core::int}) #0#0 = x;
    if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0.a{core::int} && #C2 =={core::num::==}{(core::Object) → core::bool} #0#0.b{core::int}) {
    }
  }
}
static method test5((core::int, core::double, {required bar: dynamic, required foo: core::String}) x) → dynamic {
  {
    final synthesized(core::int, core::double, {required bar: dynamic, required foo: core::String}) #0#0 = x;
    synthesized core::double #0#2;
    synthesized core::bool #0#2#isSet = false;
    synthesized core::String #0#3;
    synthesized core::bool #0#3#isSet = false;
    {
      hoisted core::double y;
      if(#0#0.$1{core::int} is core::int && ((#0#2#isSet ?{core::double} #0#2{core::double} : let final core::bool #t7 = #0#2#isSet = true in #0#2 = #0#0.$2{core::double}) is core::double && (let final core::double #t8 = y = #0#2#isSet ?{core::double} #0#2{core::double} : let final core::bool #t9 = #0#2#isSet = true in #0#2 = #0#0.$2{core::double} in true)) && (let final core::String #t10 = (#0#3#isSet ?{core::String} #0#3{core::String} : let final core::bool #t11 = #0#3#isSet = true in #0#3 = #0#0.foo{core::String})! in (#0#3#isSet ?{core::String} #0#3{core::String} : let final core::bool #t12 = #0#3#isSet = true in #0#3 = #0#0.foo{core::String})! is core::String)) {
        return 0;
      }
      else {
        return 1;
      }
    }
  }
}

constants  {
  #C1 = 1
  #C2 = 2
}