pkg/front_end/testcases/nnbd/covariant_nnbd_top_merge.dart.strong.outline.expect

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

abstract class A extends core::Object {
  synthetic constructor •() → self::A
    ;
  abstract method method(dynamic a) → void;
}
abstract class B extends core::Object {
  synthetic constructor •() → self::B
    ;
  abstract method method(covariant-by-declaration core::num a) → void;
}
abstract class C extends core::Object {
  synthetic constructor •() → self::C
    ;
  abstract method method(covariant-by-declaration core::int a) → void;
}
abstract class D1 extends core::Object implements self::A, self::B, self::C {
  synthetic constructor •() → self::D1
    ;
  abstract forwarding-stub synthetic method method(covariant-by-declaration dynamic a) → void;
}
abstract class D2 extends core::Object implements self::A, self::B {
  synthetic constructor •() → self::D2
    ;
  abstract forwarding-stub synthetic method method(covariant-by-declaration dynamic a) → void;
}
abstract class D3 extends core::Object implements self::B, self::C {
  synthetic constructor •() → self::D3
    ;
}
abstract class D4 extends core::Object implements self::C, self::B {
  synthetic constructor •() → self::D4
    ;
  abstract synthetic member-signature method method(covariant-by-declaration core::num a) → void; -> self::B::method
}
abstract class D5 extends core::Object implements self::A, self::C {
  synthetic constructor •() → self::D5
    ;
  abstract forwarding-stub synthetic method method(covariant-by-declaration dynamic a) → void;
}
abstract class E extends core::Object {
  synthetic constructor •() → self::E
    ;
  abstract method method(core::num a) → void;
}
abstract class F extends core::Object {
  synthetic constructor •() → self::F
    ;
  abstract method method(covariant-by-declaration core::int a) → void;
}
abstract class G1 extends core::Object implements self::E, self::F {
  synthetic constructor •() → self::G1
    ;
  abstract forwarding-stub synthetic method method(covariant-by-declaration core::num a) → void;
}
abstract class G2 extends core::Object implements self::F, self::E {
  synthetic constructor •() → self::G2
    ;
  abstract forwarding-stub synthetic method method(covariant-by-declaration core::num a) → void;
}
static method main() → dynamic
  ;