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

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

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

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

class D implements D1, D2 {}

class D1 {}

class D2 {}

main() {}