Change front end type inference algebra to match analyzer.

Change front end type inference algebra to match analyzer.

This CL swaps the behavior of greatest and least closure in
solveTypeConstraint.  It also changes greatestClosure(?) to `dynamic`
rather than `Object`.

These changes bring front end type inference more closely into line
with analyzer type inference.

R=scheglov@google.com

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

[Paul Berry, 2017-05-08 21:00:06]

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

[scheglov, 2017-05-08 21:04:31]

lgtm

[Paul Berry, 2017-05-08 21:19:16]

Description was changed from

==========
Change front end type inference algebra to match analyzer.

This CL swaps the behavior of greatest and least closure in
solveTypeConstraint.  It also changes greatestClosure(?) to `dynamic`
rather than `Object`.

These changes bring front end type inference more closely into line
with analyzer type inference.
==========

to

==========
Change front end type inference algebra to match analyzer.

This CL swaps the behavior of greatest and least closure in
solveTypeConstraint.  It also changes greatestClosure(?) to `dynamic`
rather than `Object`.

These changes bring front end type inference more closely into line
with analyzer type inference.

R=scheglov@google.com

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

[Paul Berry, 2017-05-08 21:19:18]

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