// 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=false*/

// @dart=2.6

/*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 {
  /// TODO: Solve CFE / analyzer difference.
  /// In opt-out library we can choose any valid override, so the analyzer
  /// takes the first one.
  /*cfe|cfe:builder.member: D4.method:void Function(num*)**/
  /*analyzer.member: D4.method:void Function(int*)**/
}

/*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 {
  /// TODO: Solve CFE / analyzer difference.
  /// In opt-out library we can choose any valid override, so the analyzer
  /// takes the first one.
  /*cfe|cfe:builder.member: G2.method:void Function(num*)**/
  /*analyzer.member: G2.method:void Function(int*)**/
}