library;
import self as self;
import "dart:core" as core;

abstract class A extends core::Object {
  synthetic constructor •() → self::A
    : super core::Object::•()
    ;
}
abstract class B extends core::Object {
  synthetic constructor •() → self::B
    : super core::Object::•()
    ;
  abstract method foo(core::num x) → void;
}
abstract class C extends core::Object implements self::B {
  synthetic constructor •() → self::C
    : super core::Object::•()
    ;
  abstract method foo(covariant core::int x) → void;
}
abstract class D1 extends core::Object implements self::A, self::C, self::B {
  synthetic constructor •() → self::D1
    : super core::Object::•()
    ;
  abstract method foo(covariant core::int x) → void;
}
class D2 extends core::Object implements self::A, self::C, self::B {
  synthetic constructor •() → self::D2
    : super core::Object::•()
    ;
  method foo(covariant core::int x) → void {}
}
abstract class D3 extends core::Object implements self::A, self::C, self::B {
  synthetic constructor •() → self::D3
    : super core::Object::•()
    ;
  abstract forwarding-stub method foo(covariant core::num x) → void;
}
abstract class D4 extends core::Object implements self::A, self::C, self::B {
  synthetic constructor •() → self::D4
    : super core::Object::•()
    ;
  abstract method foo(covariant core::int x) → void;
}
abstract class D5 extends core::Object implements self::A, self::C, self::B {
  synthetic constructor •() → self::D5
    : super core::Object::•()
    ;
  abstract method foo(covariant core::num x) → void;
}
abstract class E extends core::Object {
  synthetic constructor •() → self::E
    : super core::Object::•()
    ;
  abstract set foo(core::num x) → void;
}
abstract class G extends core::Object implements self::E {
  synthetic constructor •() → self::G
    : super core::Object::•()
    ;
  abstract set foo(covariant core::int x) → void;
}
abstract class H1 extends core::Object implements self::A, self::E, self::G {
  synthetic constructor •() → self::H1
    : super core::Object::•()
    ;
  abstract set foo(covariant core::int x) → void;
}
class H2 extends core::Object implements self::A, self::E, self::G {
  synthetic constructor •() → self::H2
    : super core::Object::•()
    ;
  set foo(covariant core::int x) → void {}
}
abstract class H3 extends core::Object implements self::A, self::E, self::G {
  synthetic constructor •() → self::H3
    : super core::Object::•()
    ;
  abstract forwarding-stub set foo(covariant core::num x) → void;
}
abstract class H4 extends core::Object implements self::A, self::E, self::G {
  synthetic constructor •() → self::H4
    : super core::Object::•()
    ;
  abstract set foo(covariant core::int x) → void;
}
abstract class H5 extends core::Object implements self::A, self::E, self::G {
  synthetic constructor •() → self::H5
    : super core::Object::•()
    ;
  abstract set foo(covariant core::num x) → void;
}
static method main() → dynamic {}