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

library test;

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

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

class C = B with M implements I<int>;

class M {}

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