library;
//
// Problems in library:
//
// pkg/front_end/testcases/patterns/non_pattern_case_among_pattern_cases_in_switch.dart:10:14: Error: The variable 'a' is available in some, but not all cases that share this body.
//       return a; // Error.
//              ^
//
import self as self;
import "dart:core" as core;

static method test(dynamic x) → dynamic {
  #L1:
  {
    final synthesized dynamic #0#0 = x;
    dynamic #t1;
    {
      lowered final hoisted dynamic a#case#0;
      lowered final hoisted dynamic a#case#1;
      if((let final dynamic #t2 = a#case#0 = #0#0 in true) && a#case#0{dynamic}.>(0) as{TypeError} core::bool && (let final dynamic #t3 = #t1 = a#case#0 in true) || #C1 =={core::num::==}{(core::Object) → core::bool} #0#0 || (let final dynamic #t4 = a#case#1 = #0#0 in true) && (let final dynamic #t5 = #t1 = a#case#1 in true)) {
        final dynamic a = #t1{dynamic};
        {
          return a;
        }
      }
    }
    {
      {
        {
          return null;
        }
      }
    }
  }
}

constants  {
  #C1 = 0
}