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

  class A<T extends dart.core::Object* = dynamic> extends dart.core::Object {
    synthetic constructor •() → lib1::A<lib1::A::T*>*
      : super dart.core::Object::•()
      ;
    method foo(generic-covariant-impl lib1::A::T* t) → dynamic {
      dart.core::print("foo T ${t}");
    }
    abstract member-signature get _identityHashCode() → dart.core::int*;
    abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOf(dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOfTrue(dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOfFalse(dynamic type) → dart.core::bool*;
    abstract member-signature operator ==(dynamic other) → dart.core::bool*;
    abstract member-signature get hashCode() → dart.core::int*;
    abstract member-signature method toString() → dart.core::String*;
    abstract member-signature method noSuchMethod(dart.core::Invocation* invocation) → dynamic;
    abstract member-signature get runtimeType() → dart.core::Type*;
  }
  class B extends dart.core::Object {
    synthetic constructor •() → lib1::B*
      : super dart.core::Object::•()
      ;
    method foo(dart.core::int* t) → dynamic {
      dart.core::print("foo int ${t}");
    }
    abstract member-signature get _identityHashCode() → dart.core::int*;
    abstract member-signature method _instanceOf(dynamic instantiatorTypeArguments, dynamic functionTypeArguments, dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOf(dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOfTrue(dynamic type) → dart.core::bool*;
    abstract member-signature method _simpleInstanceOfFalse(dynamic type) → dart.core::bool*;
    abstract member-signature operator ==(dynamic other) → dart.core::bool*;
    abstract member-signature get hashCode() → dart.core::int*;
    abstract member-signature method toString() → dart.core::String*;
    abstract member-signature method noSuchMethod(dart.core::Invocation* invocation) → dynamic;
    abstract member-signature get runtimeType() → dart.core::Type*;
  }
}
library from "org-dartlang-test:///main.dart" as main {

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

  abstract class C extends lib1::B implements lib1::A<dart.core::int*> {
    synthetic constructor •() → main::C*
      : super lib1::B::•()
      ;
    forwarding-stub method foo(generic-covariant-impl dart.core::int* t) → dynamic
      return super.{lib1::B::foo}(t);
  }
  static method main() → dynamic {
    dart.core::print("#1");
  }
}