blob: 7d529f145ae9f2903d14c1dde224dc368f4a3e25 [file] [log] [blame]
// 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)*/