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>;

mixin M {}

void g1(C c) {}

void g2(I<num> i) {}

void main() {}

void test() {}