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

abstract class I {
  void m(covariant num n);
}

class A {
  void m(int n) {}
}

class C extends A implements I {}

throws(void Function() f) {}

void main() {}