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

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>>());