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

B b;

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

main() {}