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

B b = throw '';

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

extension C<TypeU extends A> on int {}

main() {}

typedef D<TypeU extends A> = int;