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

// @dart = 2.9
class A<T> {}

class B<T extends num, S extends List<T>> extends A<T> {
  B([T x]) {}
}

main() {}