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

library test;

class C<T> {
  void f<U extends F<T>>(U x) {}
}

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