tree 27e1ac4cc93c957e39556a32c308bba40625260e
parent 567d552de8ff93d704111467e7f3bf3b896ab684
author Johnni Winther <johnniwinther@google.com> 1552309714 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1552309714 +0000

Insert implicit casts when setting interface targets

This preserves the invariant that method invocations and property sets
with an interface target handle static types at the call site.

This is a prerequisite to improving dart2js with implicit checks.
With this we can mark dynamic invocations a statically safe and
discover when instance methods don't need to check parameter types.

Change-Id: Ife7a3f947952b3c1f73316b922b2aa107343068e
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/95400
Commit-Queue: Johnni Winther <johnniwinther@google.com>
Reviewed-by: Sigmund Cherem <sigmund@google.com>