pkg/front_end/testcases/instantiate_to_bound/typedef_super_bounded_type.dart.textual_outline_modelled.expect

// @dart = 2.9
B b;
main() {}
typedef A<T>(T p);
typedef B<S extends A<S>>(S p);