pkg/front_end/testcases/general/method_tearoff_covariant_generic_type_check.dart.textual_outline_modelled.expect

class A<X extends num> {
  void f<Y extends X>(Y y) {}
}

expectThrows(void Function() f) {}

main() {}