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

library test;

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

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