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

typedef F<unrelated T extends core::Object? = dynamic> = self::A;
typedef G<unrelated T extends core::num> = self::B<dynamic>;
class A extends core::Object {
  field core::int field1 = 0;
  constructor •(core::int field1) → self::A
    : self::A::field1 = field1, super core::Object::•()
    ;
  constructor named(core::int field1) → self::A
    : self::A::field1 = field1, super core::Object::•()
    ;
  static method _#new#tearOff(core::int field1) → self::A
    return new self::A::•(field1);
  static method _#named#tearOff(core::int field1) → self::A
    return new self::A::named(field1);
}
class B<T extends core::Object? = dynamic> extends core::Object implements self::A {
  field core::int field1;
  generic-covariant-impl field self::B::T% field2;
  constructor •(core::int field1, self::B::T% field2) → self::B<self::B::T%>
    : self::B::field1 = field1, self::B::field2 = field2, super core::Object::•()
    ;
  constructor named(core::int field1, self::B::T% field2) → self::B<self::B::T%>
    : self::B::field1 = field1, self::B::field2 = field2, super core::Object::•()
    ;
  static method _#new#tearOff<T extends core::Object? = dynamic>(core::int field1, self::B::_#new#tearOff::T% field2) → self::B<self::B::_#new#tearOff::T%>
    return new self::B::•<self::B::_#new#tearOff::T%>(field1, field2);
  static method _#named#tearOff<T extends core::Object? = dynamic>(core::int field1, self::B::_#named#tearOff::T% field2) → self::B<self::B::_#named#tearOff::T%>
    return new self::B::named<self::B::_#named#tearOff::T%>(field1, field2);
}
static field (core::int) → self::A A_new = #C1;
static field <T extends core::Object? = dynamic>(core::int, T%) → self::B<T%> B_new = #C2;
static field <unrelated T extends core::Object? = dynamic>(core::int) → self::A F_new = #C3;
static field <unrelated T extends core::num>(core::int, dynamic) → self::B<dynamic> G_new = #C4;
static field (core::int) → self::A A_named = #C5;
static field (core::int, core::int) → self::B<core::int> B_named = #C7;
static field <unrelated T extends core::Object? = dynamic>(core::int) → self::A F_named = #C8;
static field (core::int, dynamic) → self::B<dynamic> G_named = #C9;
static method main() → dynamic {}
static method _#F#new#tearOff<unrelated T extends core::Object? = dynamic>(core::int field1) → self::A
  return new self::A::•(field1);
static method _#F#named#tearOff<unrelated T extends core::Object? = dynamic>(core::int field1) → self::A
  return new self::A::named(field1);
static method _#G#new#tearOff<unrelated T extends core::num>(core::int field1, dynamic field2) → self::B<dynamic>
  return new self::B::•<dynamic>(field1, field2);
static method _#G#named#tearOff<unrelated T extends core::num>(core::int field1, dynamic field2) → self::B<dynamic>
  return new self::B::named<dynamic>(field1, field2);

constants  {
  #C1 = static-tearoff self::A::_#new#tearOff
  #C2 = static-tearoff self::B::_#new#tearOff
  #C3 = static-tearoff self::_#F#new#tearOff
  #C4 = static-tearoff self::_#G#new#tearOff
  #C5 = static-tearoff self::A::_#named#tearOff
  #C6 = static-tearoff self::B::_#named#tearOff
  #C7 = instantiation self::B::_#named#tearOff <core::int>
  #C8 = static-tearoff self::_#F#named#tearOff
  #C9 = instantiation self::B::_#named#tearOff <dynamic>
}