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

abstract class I {
  void f(covariant A a);
}

class A {}

class B extends A {}

class C {
  void f(B b) {}
}

class D extends C implements I {}

void main() {}