pkg/front_end/testcases/patterns/records/issue50963.dart.weak.expect

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

static method test() → dynamic {
  final(core::int, core::int) x = (1, 2);
  core::print( block {
    core::int #t1;
    final synthesized(core::int, core::int) #0#0 = x;
    #L1:
    {
      {
        if(true) {
          #t1 = 1;
          break #L1;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  } =>#t1);
  core::print( block {
    core::int #t2;
    final synthesized(core::int, core::int) #1#0 = (1, 2);
    #L2:
    {
      {
        if(true) {
          #t2 = 1;
          break #L2;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  } =>#t2);
}