Add some tests for calls with checks in strong mode.

Add some tests for calls with checks in strong mode.

Tests checks due to covariant subtyping, dynamic calls, and their
interaction with tear-offs.

The tests use explicit type annotations so they can run
independently of frontend type inference.

R=dmitryas@google.com, leafp@google.com

Committed: https://github.com/dart-lang/sdk/commit/ea4a89ba03de84598b7b1051820e5a2e068ab059

[asgerf, 2017-02-28 13:47:35]

asgerf@google.com changed reviewers:
+ dmitryas@google.com, leafp@google.com

[asgerf, 2017-02-28 13:47:35]

Leaf: I am hoping, as someone who knows strong mode, you can help verify that
these tests are accurate.

[Dmitry Stefantsov, 2017-02-28 15:23:49]

LGTM

[Leaf, 2017-02-28 19:12:03]

lgtm, thanks!

[asgerf, 2017-03-01 10:28:28]

Description was changed from

==========
Add some tests for calls with checks in strong mode.

Tests checks due to covariant subtyping, dynamic calls, and their
interaction with tear-offs.

The tests use explicit type annotations so they can run
independently of frontend type inference.
==========

to

==========
Add some tests for calls with checks in strong mode.

Tests checks due to covariant subtyping, dynamic calls, and their
interaction with tear-offs.

The tests use explicit type annotations so they can run
independently of frontend type inference.

R=dmitryas@google.com, leafp@google.com

Committed:
https://github.com/dart-lang/sdk/commit/ea4a89ba03de84598b7b1051820e5a2e068ab059
==========

[asgerf, 2017-03-01 10:28:30]

Committed patchset #1 (id:1) manually as
ea4a89ba03de84598b7b1051820e5a2e068ab059 (presubmit successful).