pkg/front_end/testcases/patterns/exhaustiveness/issue52041.dart.strong.modular.expect

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

abstract sealed class B extends core::Object {
  synthetic constructor •() → self::B
    : super core::Object::•()
    ;
}
class C extends self::B {
  final field core::int _i;
  constructor •(core::int _i) → self::C
    : self::C::_i = _i, super self::B::•()
    ;
}
static method f(self::B b) → dynamic {
  #L1:
  {
    final synthesized self::B #0#0 = b;
    {
      hoisted core::int _i;
      if(#0#0 is self::C && (let final dynamic #t1 = _i = #0#0{self::C}.{self::C::_i}{core::int} in true)) {
        {
          core::print("C(${_i})");
        }
      }
    }
  }
}
static method main() → dynamic {
  self::f(new self::C::•(0));
}