pkg/front_end/testcases/general/bounds_instances.dart.textual_outline_modelled.expect

class Class<T> {}

class Class1 {}

class ConcreteClass implements Class<ConcreteClass> {}

class G<X extends Class<X>> {}

main() {}
test() {}
typedef F<X extends Class<X>> = Class1;