pkg/front_end/testcases/runtime_checks/covariant_generic_parameter_in_interface_super.dart.textual_outline_modelled.expect

// @dart = 2.9
library test;

abstract class I<T> {
  void f(T x);
}

class B {
  void f(int x) {}
}

class C extends B implements I<int> {}

void g1(C c) {}
void g2(I<num> i) {}
void main() {}
void test() {}