// Copyright (c) 2020, the Dart project authors. Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

/*library: nnbd=true*/

/*class: A:A,Object*/
abstract class A {
  /*member: A.method:void Function(dynamic)*/
  void method(dynamic a);
}

/*class: B:B,Object*/
abstract class B {
  /*member: B.method:void Function(num)*/
  void method(covariant num a);
}

/*class: C:C,Object*/
abstract class C {
  /*member: C.method:void Function(int)*/
  void method(covariant int a);
}

/*class: D1:A,B,C,D1,Object*/
abstract class D1 implements A, B, C {
  /*member: D1.method:void Function(dynamic)*/
}

/*class: D2:A,B,D2,Object*/
abstract class D2 implements A, B {
  /*member: D2.method:void Function(dynamic)*/
}

/*class: D3:B,C,D3,Object*/
abstract class D3 implements B, C {
  /*member: D3.method:void Function(num)*/
}

/*class: D4:B,C,D4,Object*/
abstract class D4 implements C, B {
  /*member: D4.method:void Function(num)*/
}

/*class: D5:A,C,D5,Object*/
abstract class D5 implements A, C {
  /*member: D5.method:void Function(dynamic)*/
}

/*class: E:E,Object*/
abstract class E {
  /*member: E.method:void Function(num)*/
  void method(num a);
}

/*class: F:F,Object*/
abstract class F {
  /*member: F.method:void Function(int)*/
  void method(covariant int a);
}

/*class: G1:E,F,G1,Object*/
abstract class G1 implements E, F {
  /*member: G1.method:void Function(num)*/
}

/*class: G2:E,F,G2,Object*/
abstract class G2 implements F, E {
  /*member: G2.method:void Function(num)*/
}