pkg/front_end/testcases/nnbd/substitution_in_inference.dart.textual_outline_modelled.expect

bar<T extends Object?, S extends List<T?>>(T t) => null;

baz(int? x, int y) {}

class A<T extends Object?, S extends Object> {
  fisk<X extends S, Y extends List<X>, Z extends List<X?>>() => null;
  hest<X extends T, Y extends List<X>, Z extends List<X?>>() => null;
  mus<X extends Object?, Y extends List<X>, Z extends List<X?>>() => null;
}

foo<T extends Object?, S extends List<T>>(T t) => null;

main() {}