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

library test;

F<num> g2(C c) {}

class C {
  void f(num x) {}
}

class D extends C {
  void f(covariant int x) {}
}

class E extends D {
  void f(int x) {}
}

main() {}

test() {}

typedef F<T>(T x);

void g1(C c) {}