pkg/front_end/testcases/patterns/switch_variables.dart.weak.transformed.expect

library /*isNonNullableByDefault*/;
import self as self;
import "dart:core" as core;

static method method(dynamic o) → dynamic {
  #L1:
  {
    core::String a;
    core::int a#1;
    final synthesized dynamic #0#0 = o;
    if(#0#0 is{ForNonNullableByDefault} core::String && (let final core::String #t1 = a = #0#0{core::String} in true)) {
      {
        core::print(a);
        break #L1;
      }
    }
    else
      if(#0#0 is{ForNonNullableByDefault} core::int && (let final core::int #t2 = a#1 = #0#0{core::int} in true)) {
        {
          core::print(a#1);
          break #L1;
        }
      }
  }
}