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

library test;

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

typedef void F<T>(T x);

void g(C<num> c) {}

void main() {}