Generic function can't be passed as an argument

[seha-bot]

This code compiles fine, but the analyser gives an error:

The argument type 'List<T> Function<T>(T)' can't be assigned to the parameter type 'List<Z0> Function<F>(F)'. 

Code:

List<T> toList<T>(T x) => [x];

R calc<R>(R Function<F>(F) f) {
  return f(0);
}

void main() {
  final res = calc(toList);
  print(res);
}

[lrhn]

Seems like an inference difference.

If the type argument to calc in main is inferred as List<TopType>, then toList should be a valid argument.
It seems the analyzer infers it to a type variable, not its upper bound.

[eernstg]

This could be a duplicate of #55644. Note that the type variable Z0 does not exist in the program, which means that it should never leak and occur as part of a result provided by type inference.