Using .call to call a function is not checked in strong mode

[leafpetersen]

This code has no errors in strong mode:

typedef bool Predicate<T>(T object);
Predicate<String> f() => null;
void main() {
  String x = (f()).call(3);
}

[jmesserly]

edit: i'm less sure now, other than that element_resovler code is a mess :(

yeah that's because of parens possibly? FunctionInvocationExpression was not fixed, only MethodInvocation. Tear offs of call methods (if that's legal) have the same problem. Also probably here we lose the function type result because it's all Element based instead of using the FunctionType

[jmesserly]

related to #27050, and #26812 was the fix for methodinvocation

[MichaelRFairhurst]

@stereotype441 was this something you had worked on or would it be useful if I took a look?

[scheglov]

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