Initializing a field with a generic static method tearoff causes type error

[leafpetersen]

This code produces a strange type error in the analysis driver, but not the task model.

  error • A value of type '<T>(T) → T' can't be assigned to a variable of type '<T₀>(T) → T' at /Users/leafp/tmp/ddctest.dart:3:20 • invalid_assignment

class C<E> {
  static T g<T>(T e) => null;
  static final h = g;
}

[jmesserly]

doh. That's a capture/substitution bug, could be related to #30379. (but it could be something else. FunctionType APIs are pretty error prone, it's easy to drop the type parameters or substitution by accident.)

[scheglov]

https://dart-review.googlesource.com/c/sdk/+/46940