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() {}