tree 56bf8c39f9bf59cee359b576ab08af0c3f0e2dbf
parent e0fd546dc3f2006abe7b2403a820f40171c7c38b
author Paul Berry <paulberry@google.com> 1613230757 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1613230757 +0000

Add "why not promoted" support for method invocations to CFE.

This required moving the logic for computing the context messages from
the inference visitor to the type inferrer.

This includes support for extension method invocations and invocation
of `.call` on a function type.

Bug: https://github.com/dart-lang/sdk/issues/44898
Change-Id: Icda160f69cc815953c43edc92be910c5f49f9401
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/184842
Commit-Queue: Paul Berry <paulberry@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>