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

// @dart = 2.9
class A<X extends String> {}

main() {}
typedef F = Function<Z extends A<Y>>() Function<Y extends num>();
typedef G = void Function<Y extends num>(Function<Z extends A<Y>>());