Add type inference for switch statements.

Add type inference for switch statements.

Analyzer does not infer switch cases correctly (it uses an empty
context for the case expression, instead of the type of the switch
expression), so the tests are in inference_new.

R=scheglov@google.com

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

[Paul Berry, 2017-06-25 15:45:40]

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

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

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:11:31]

LGTM

[Paul Berry, 2017-06-26 15:49:07]

Description was changed from

==========
Add type inference for switch statements.

Analyzer does not infer switch cases correctly (it uses an empty
context for the case expression, instead of the type of the switch
expression), so the tests are in inference_new.
==========

to

==========
Add type inference for switch statements.

Analyzer does not infer switch cases correctly (it uses an empty
context for the case expression, instead of the type of the switch
expression), so the tests are in inference_new.

R=scheglov@google.com

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

[Paul Berry, 2017-06-26 15:49:09]

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