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

static method printBugsSwitch(core::int n) → void
  return block {
    void #t1;
    final synthesized core::int #0#0 = n;
    #L1:
    {
      {
        if(#C1 =={core::num::==}{(core::Object) → core::bool} #0#0) {
          #t1 = core::print("no bugs");
          break #L1;
        }
      }
      {
        if(#C2 =={core::num::==}{(core::Object) → core::bool} #0#0) {
          #t1 = core::print("one bug");
          break #L1;
        }
      }
      {
        if(true) {
          #t1 = core::print("${n} bugs");
          break #L1;
        }
      }
      throw new _in::ReachabilityError::•("`null` encountered as case in a switch expression with a non-nullable type.");
    }
  } =>#t1;
static method printBugsConditional(core::int n) → void
  return n =={core::num::==}{(core::Object) → core::bool} 0 ?{void} core::print("no bugs") : n =={core::num::==}{(core::Object) → core::bool} 1 ?{void} core::print("one bug") : core::print("${n} bugs");
static method main() → dynamic {
  self::printBugsSwitch(0);
  self::printBugsSwitch(1);
  self::printBugsSwitch(2);
  self::printBugsConditional(0);
  self::printBugsConditional(1);
  self::printBugsConditional(2);
}

constants  {
  #C1 = 0
  #C2 = 1
}