tree 94ce5d9b8f69b35d2bfde27f9a265a0b70df2ee7
parent 8f74289932674d8ca36fc4c803d2d89d23478625
author Paul Berry <paulberry@google.com> 1649734052 +0000
committer Commit Bot <commit-bot@chromium.org> 1649734052 +0000

Skip horizontal inference when unncessary due to explicit closure parameter types.

The purpose of horizontal inference is to allow the types of closure
parameters to be inferred based on the static type of other arguments
in the same invocation.  When the closure parameter in question
already has an explicit type, there is no benefit, and there are
potential drawbacks (because horizontal inference could infer too
narrow a type).

This change includes the explicitness/implicitness of closure
parameter types in the dependency analysis for
https://github.com/dart-lang/language/issues/731 (improved inference
for fold etc.) so that we won't do horizontal inference when it's not
needed.

Change-Id: I33781877685867a8fcb40de54fc055f6348c21b2
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/240505
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Samuel Rawlins <srawlins@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>