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

class A<X extends String> {}

typedef F = Function<Z extends A<Y>>() Function<Y extends num>();

typedef G = void Function<Y extends num>(Function<Z extends A<Y>>());

main() {}