Fix inferInvocation for top level inference.

Fix inferInvocation for top level inference.

When inferring the type of an invocation for top level inference, if
type parameters are not specified, then it is an error.  So we should
not recurse into subexpressions (even if inferenceNeeded is `true`).
This avoids confusion by making it clear to the user that we don't
take subexpressions into account when doing top level type inference,
even when recovering from type inference errors.

R=scheglov@google.com

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

[Paul Berry, 2017-05-30 21:10:05]

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

[scheglov, 2017-05-30 21:40:13]

LGTM

[Paul Berry, 2017-05-30 21:43:10]

Description was changed from

==========
Fix inferInvocation for top level inference.

When inferring the type of an invocation for top level inference, if
type parameters are not specified, then it is an error.  So we should
not recurse into subexpressions (even if inferenceNeeded is `true`).
This avoids confusion by making it clear to the user that we don't
take subexpressions into account when doing top level type inference,
even when recovering from type inference errors.
==========

to

==========
Fix inferInvocation for top level inference.

When inferring the type of an invocation for top level inference, if
type parameters are not specified, then it is an error.  So we should
not recurse into subexpressions (even if inferenceNeeded is `true`).
This avoids confusion by making it clear to the user that we don't
take subexpressions into account when doing top level type inference,
even when recovering from type inference errors.

R=scheglov@google.com

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

[Paul Berry, 2017-05-30 21:43:11]

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