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

B b;
main() {}
typedef A<T>(T p);
typedef B<S extends A<S>>(S p);