pkg/front_end/testcases/patterns/exhaustiveness/not_null.dart.strong.transformed.expect

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

static method method(core::int? i) → dynamic
  return block {
    core::int? #t1;
    final synthesized core::int? #0#0 = i;
    synthesized core::bool #0#2;
    synthesized core::bool #0#2#isSet = false;
    #L1:
    {
      {
        if(#0#2#isSet ?{core::bool} #0#2 : let final dynamic #t2 = #0#2#isSet = true in #0#2 = #0#0 == null) {
          #t1 = null;
          break #L1;
        }
      }
      {
        if(!(#0#2#isSet ?{core::bool} #0#2 : let final dynamic #t3 = #0#2#isSet = true in #0#2 = #0#0{core::int} == null)) {
          #t1 = i{core::int};
          break #L1;
        }
      }
      {
        if(true) {
          #t1 = null;
          break #L1;
        }
      }
    }
  } =>#t1;