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

class A<TypeT, TypeS extends TypeT> {}

class B<TypeU extends A> {}

class C<TypeV extends B> {}

C c = throw '';

extension D<TypeU extends A> on int {}

extension E<TypeV extends B> on int {}

typedef F<TypeU extends A> = int;

typedef G<TypeV extends B> = int;

main() {}