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

abstract class A extends core::Object {
  field core::int? _#A#x;
  synthetic constructor •() → self::A
    ;
  get x() → core::int;
  set x(core::int #t1) → void;
}
class _B extends core::Object implements self::A {
  field core::int x;
  synthetic constructor •() → self::_B
    ;
}
static method main() → dynamic
  ;