main = <No Member>;
library from "org-dartlang-test:///lib.dart" as lib {

  class A extends dart.core::Object {
    final field dart.core::int? a;
    constructor •([dart.core::int? a = #C1]) → lib::A
      : lib::A::a = a, super dart.core::Object::•()
      ;
  }
}
library from "org-dartlang-test:///main.dart" as main {

  import "org-dartlang-test:///lib.dart";

  abstract class B extends dart.core::Object /*isMixinDeclaration*/  {
  }
  class C extends lib::A implements main::B /*isEliminatedMixin*/  {
    synthetic constructor •([dart.core::int? a = #C1]) → main::C
      : super lib::A::•(a)
      ;
  }
}
constants  {
  #C1 = null
}