main = <No Member>;
library from "org-dartlang-test:///lib.dart" as lib {
//
// Problems in library:
//
// org-dartlang-test:///lib.dart:1:22: Error: Type 'NonExistingClass' not found.
// class B implements C<NonExistingClass> {}
//                      ^^^^^^^^^^^^^^^^
//

  class B extends dart.core::Object implements lib::C<invalid-type> {
    synthetic constructor •() → lib::B
      : super dart.core::Object::•()
      ;
  }
  class C<E extends dart.core::Object? = dynamic> extends dart.core::Object {
    synthetic constructor •() → lib::C<lib::C::E%>
      : super dart.core::Object::•()
      ;
  }
}
library from "org-dartlang-test:///main.dart" as main {

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

  class A extends dart.core::Object implements lib::B {
    synthetic constructor •() → main::A
      : super dart.core::Object::•()
      ;
  }
}
library from "org-dartlang-test:///nonexistingfile.dart" as non {
//
// Problems in library:
//
// org-dartlang-test:///main.dart:2:8: Error: Error when reading 'org-dartlang-test:///nonexistingfile.dart': File org-dartlang-test:///nonexistingfile.dart does not exist.
// import 'nonexistingfile.dart';
//        ^
//

}