tree 69168328ecd5346e53df525de1b5b4916733987d
parent 7831f051721c9a11b6ffd2dfbd100b37abed0562
author Paul Berry <paulberry@google.com> 1645461531 +0000
committer Commit Bot <commit-bot@chromium.org> 1645461531 +0000

Properly handle implicit `.call` tearoff on RHS of assignments.

Previously, when inserting an implicit `.call` tearoff on the RHS of
an assignment, both the analyzer and the CFE failed to properly
propagate the type of the tearoff to the static type of the assignment
expression.  This resulted in a soundness bug for compiled programs.

Fixes #48409.
Fixes #48410.

Bug: https://github.com/dart-lang/sdk/issues/48409, https://github.com/dart-lang/sdk/issues/48410
Change-Id: I489f38bd7cac4ebadd3746ec32c1ef0f73e18169
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/233640
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Reviewed-by: Johnni Winther <johnniwinther@google.com>
Commit-Queue: Paul Berry <paulberry@google.com>