pkg/front_end/testcases/general/issue47013c.dart.textual_outline.expect

class D1 {}

class D2 {}

class D implements D1, D2 {}

class A {
  void m(covariant D d) {}
}

abstract class B1 {
  void m(D1 d1);
}

abstract class B2 {
  void m(D2 d2);
}

main() {}