pkg/front_end/testcases/patterns/exhaustiveness/issue2878_example0.dart.weak.transformed.expect

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

static method main() → void {
  core::List<core::int> list = core::_GrowableList::_literal3<core::int>(1, 2, 3);
  {
    core::int #t1;
    final synthesized core::List<core::int> #0#0 = list;
    #L1:
    {
      {
        if(true) {
          #t1 = 1;
          break #L1;
        }
      }
      throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  }
  {
    core::int #t2;
    final synthesized core::List<core::int> #1#0 = list;
    synthesized core::int #1#1;
    synthesized core::bool #1#1#isSet = false;
    #L2:
    {
      {
        if((#1#1#isSet ?{core::int} #1#1{core::int} : let final core::bool #t3 = #1#1#isSet = true in #1#1 = #1#0.{core::List::length}{core::int}).{core::num::<=}(#C1){(core::num) → core::bool}) {
          #t2 = 1;
          break #L2;
        }
      }
      {
        if((#1#1#isSet ?{core::int} #1#1{core::int} : let final core::bool #t4 = #1#1#isSet = true in #1#1 = #1#0.{core::List::length}{core::int}).{core::num::>=}(#C2){(core::num) → core::bool}) {
          #t2 = 2;
          break #L2;
        }
      }
      throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  }
  {
    core::int #t5;
    final synthesized core::List<core::int> #2#0 = list;
    synthesized core::int #2#1;
    synthesized core::bool #2#1#isSet = false;
    #L3:
    {
      {
        if((#2#1#isSet ?{core::int} #2#1{core::int} : let final core::bool #t6 = #2#1#isSet = true in #2#1 = #2#0.{core::List::length}{core::int}).{core::num::<=}(#C1){(core::num) → core::bool}) {
          #t5 = 1;
          break #L3;
        }
      }
      {
        if((#2#1#isSet ?{core::int} #2#1{core::int} : let final core::bool #t7 = #2#1#isSet = true in #2#1 = #2#0.{core::List::length}{core::int}) =={core::num::==}{(core::Object) → core::bool} #C2) {
          #t5 = 2;
          break #L3;
        }
      }
      {
        if((#2#1#isSet ?{core::int} #2#1{core::int} : let final core::bool #t8 = #2#1#isSet = true in #2#1 = #2#0.{core::List::length}{core::int}).{core::num::>=}(#C3){(core::num) → core::bool}) {
          #t5 = 3;
          break #L3;
        }
      }
      throw{for-error-handling} new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  }
}

constants  {
  #C1 = 0
  #C2 = 1
  #C3 = 2
}