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

extension CheckType<T> on T {
  void expect<S extends Exactly<T>>() {}
}

typedef Exactly<T> = T Function(T);

void f<X>(X? arg) {}

void main() {}