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

// @dart = 2.9
library test;

class C<T> {
  F<T> y;
  void f() {}
}

typedef void F<T>(T x);
void g(C<num> c) {}
void main() {}