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

// @dart = 2.9
library test;

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

void g2(C<Object> c) {}
void main() {}
void test() {}