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

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

B b = throw '';

extension C<TypeU extends A> on int {}

typedef D<TypeU extends A> = int;

main() {}