Analyzer rejects the following program because it infers T to be Object?:
void main() {
f(('',), (v) { print(v.length); });
}
void f<T>((T,) v, void Function(T) fn) {
fn(v.$1);
}CFE infers String and accepts the program. @eernstg thinks CFE is correct.
