Martin Kustermann 9104b5d387 [VM] Eliminate more type checks when not needed ...

Clear out generic-covariant-{impl,interface} on parameters which are
statically checked on call site.  If all call sites are this-dispatches then
we are guaranteed to not need the checks.

Issue https://github.com/dart-lang/sdk/issues/31798

Change-Id: I5452a1c9eb3c3e36c1dfc978327bfdcb256cc003
Reviewed-on: https://dart-review.googlesource.com/43421
Commit-Queue: Martin Kustermann <kustermann@google.com>
Reviewed-by: Vyacheslav Egorov <vegorov@google.com>

2018-03-01 14:31:38 +00:00

..

type_flow

[vm/kernel/aot] Prepare to enable type flow analysis in Flutter

2018-02-27 19:59:19 +00:00

devirtualization.dart

[CFE, VM] Improve efficiency of CHA-based devirtualization

2018-02-07 18:32:39 +00:00

no_dynamic_invocations_annotator.dart

[VM] Eliminate more type checks when not needed

2018-03-01 14:31:38 +00:00