tree 555d405bcf191583c85195d6dd630610c2d33e2d
parent bf4facdd66c9ace46123fd3f45d6e0c8d1d2ce72
author Vyacheslav Egorov <vegorov@google.com> 1536945569 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1536945569 +0000

[vm/kernel] Preserve strong mode types in async transformation

Async transformation uses dynamic variables in few places (e.g.
for temporaries and for incomming arguments) - which creates
not strongly typed AST with method invocations having dynamic
receivers and non-null interface targets at the same time.

To maintain strong typedness of the AST we insert unsafeCast
when accessing the temporaries.

Bug: https://github.com/dart-lang/sdk/issues/34463
Change-Id: I11e38c128645ebc8acb0c982a80fe4c5c4036673
Reviewed-on: https://dart-review.googlesource.com/75000
Commit-Queue: Vyacheslav Egorov <vegorov@google.com>
Reviewed-by: Martin Kustermann <kustermann@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>