Add type inference for while and do loops.

Add type inference for while and do loops.

Analyzer does not type infer these constructs correctly (it uses an
empty context for the loop condition, instead of bool), so the tests
are in inference_new.

R=scheglov@google.com

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

[Paul Berry, 2017-06-25 15:41:18]

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

[Paul Berry, 2017-06-25 15:41:18]

I only need a review from one of you.
This is not urgent--feel free to wait until Monday to review.

[scheglov, 2017-06-26 15:08:48]

LGTM

[Paul Berry, 2017-06-26 16:07:32]

Description was changed from

==========
Add type inference for while and do loops.

Analyzer does not type infer these constructs correctly (it uses an
empty context for the loop condition, instead of bool), so the tests
are in inference_new.
==========

to

==========
Add type inference for while and do loops.

Analyzer does not type infer these constructs correctly (it uses an
empty context for the loop condition, instead of bool), so the tests
are in inference_new.

R=scheglov@google.com

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

[Paul Berry, 2017-06-26 16:07:33]

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