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

C c = throw '';

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

class C<TypeV extends B> {}

extension D<TypeU extends A> on int {}

extension E<TypeV extends B> on int {}

main() {}

typedef F<TypeU extends A> = int;

typedef G<TypeV extends B> = int;