Report errors for the new top-level inference rules.

Report errors for the new top-level inference rules.

We also stop type inference most of these cases with task based analysis.
Summary based analysis is not changed yet.

R=brianwilkerson@google.com
BUG=

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

[Brian Wilkerson, 2017-03-28 13:41:23]

lgtm

https://codereview.chromium.org/2782533002/diff/20001/pkg/analyzer/lib/src/er...
File pkg/analyzer/lib/src/error/codes.dart (right):

https://codereview.chromium.org/2782533002/diff/20001/pkg/analyzer/lib/src/er...
pkg/analyzer/lib/src/error/codes.dart:4978: "Try adding an explicit type to the
variable {1}.");
"to either the variable {0} or the variable {1}"?

https://codereview.chromium.org/2782533002/diff/20001/pkg/analyzer/lib/src/er...
pkg/analyzer/lib/src/error/codes.dart:4995: "The type of '{0}' can't be inferred
because '{1}' expressions aren't supported.",
I'm guessing the "{1}" shouldn't have quotes around it, but that depends on what
will be substituted there.

[scheglov, 2017-03-28 16:41:11]

Description was changed from

==========
Report errors for the new top-level inference rules.

We also stop type inference most of these cases with task based analysis.
Summary based analysis is not changed yet.

R=brianwilkerson@google.com
BUG=
==========

to

==========
Report errors for the new top-level inference rules.

We also stop type inference most of these cases with task based analysis.
Summary based analysis is not changed yet.

R=brianwilkerson@google.com
BUG=

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

[scheglov, 2017-03-28 16:41:12]

Committed patchset #5 (id:80001) manually as
27ab6478b9072dfc7cabbc63a36dc3adef463998 (presubmit successful).