Fix method call type inference with explicit type parameters.

Fix method call type inference with explicit type parameters.

This was broken for three reasons:

- We weren't recording the fact that the type parameters were
  explicitly provided, so the inference code path to handle this case
  wasn't being exercised.

- The inference code path to handle this case was accidentally
  referring to the `inferredTypes` variable, which is `null` in this
  case.

- We were not checking for the case where the user provided the wrong
  number of type parameters.

R=scheglov@google.com

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

[Paul Berry, 2017-05-10 17:51:49]

paulberry@google.com changed reviewers:
+ leafp@google.com, scheglov@google.com

[scheglov, 2017-05-10 17:54:54]

LGTM

[Paul Berry, 2017-05-10 18:00:33]

Description was changed from

==========
Fix method call type inference with explicit type parameters.

This was broken for three reasons:

- We weren't recording the fact that the type parameters were
  explicitly provided, so the inference code path to handle this case
  wasn't being exercised.

- The inference code path to handle this case was accidentally
  referring to the `inferredTypes` variable, which is `null` in this
  case.

- We were not checking for the case where the user provided the wrong
  number of type parameters.
==========

to

==========
Fix method call type inference with explicit type parameters.

This was broken for three reasons:

- We weren't recording the fact that the type parameters were
  explicitly provided, so the inference code path to handle this case
  wasn't being exercised.

- The inference code path to handle this case was accidentally
  referring to the `inferredTypes` variable, which is `null` in this
  case.

- We were not checking for the case where the user provided the wrong
  number of type parameters.

R=scheglov@google.com

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

[Paul Berry, 2017-05-10 18:00:34]

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