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

B b = throw '';

main() {}

typedef A<T>(T p);

typedef B<S extends A<S>>(S p);