pkg/front_end/testcases/patterns/switch_variables.dart.weak.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';
    final dynamic #0#0 = o;
    if(#0#0 is{ForNonNullableByDefault} core::String && (let final dynamic #t1 = a = #0#0{core::String} in true)) {
      {
        core::print(a);
        break #L1;
      }
    }
    else
      if(#0#0 is{ForNonNullableByDefault} core::int && (let final dynamic #t2 = a' = #0#0{core::int} in true)) {
        {
          core::print(a');
          break #L1;
        }
      }
  }
}