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

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

  abstract class Bar extends dart.core::Object implements lib2::Baz {
    synthetic constructor •() → lib1::Bar*
      : super dart.core::Object::•()
      ;
  }
}
library from "org-dartlang-test:///lib2.dart" as lib2 {

  abstract class Baz extends dart.core::Object {
    synthetic constructor •() → lib2::Baz*
      : super dart.core::Object::•()
      ;
    abstract get x() → lib2::Baz*;
  }
}
library from "org-dartlang-test:///main.dart" as main {

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

  abstract class Foo extends dart.core::Object implements lib1::Bar {
    synthetic constructor •() → main::Foo*
      : super dart.core::Object::•()
      ;
    @#C1
    abstract get x() → main::Foo*;
  }
}
constants  {
  #C1 = dart.core::_Override {}
}