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

// @dart = 2.9
library test;

typedef void F<T>(T t);

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

void g(C<num> c) {}
void test() {}
void main() {}