tree c1536f0d75b7035e76eb60b8ac1df25d3db3e9ca
parent 0213c9f9d219a9f2018785485667433b8a00acf2
author Samir Jindel <sjindel@google.com> 1546936618 +0000
committer commit-bot@chromium.org <commit-bot@chromium.org> 1546936618 +0000

[vm] Use TFA to remove explicit type-checks (including keyword-covariant parameters).

- Also allow using the unchecked entry-point for invocations of generic functions where
  there are no bounds or the bounds don't require dynamic checks.

Change-Id: I6ca1ebec777ecf2989c4fb77425d65d542d5adf2
Cq-Include-Trybots: luci.dart.try:vm-kernel-optcounter-threshold-linux-release-x64-try, vm-kernel-precomp-linux-debug-x64-try, vm-kernel-precomp-linux-release-simarm-try, vm-kernel-precomp-linux-release-simarm64-try, vm-kernel-precomp-linux-release-x64-try, vm-kernel-precomp-mac-release-simarm64-try, vm-kernel-precomp-win-release-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/87181
Commit-Queue: Samir Jindel <sjindel@google.com>
Reviewed-by: Alexander Markov <alexmarkov@google.com>