Implement type inference for try/catch blocks.

Implement type inference for try/catch blocks.

Note that the types of the exception and stack trace variables are set
in the BodyBuilder since they do not depend on inference of other
parts of the function.

R=scheglov@google.com

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

[Paul Berry, 2017-06-24 22:02:56]

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

[Paul Berry, 2017-06-24 22:02:57]

Peter to review kernel changes
Anyone to review front_end changes

This is not urgent; feel free to wait until Monday to review.

[scheglov, 2017-06-26 15:05:23]

LGTM

[Paul Berry, 2017-06-26 15:57:06]

Description was changed from

==========
Implement type inference for try/catch blocks.

Note that the types of the exception and stack trace variables are set
in the BodyBuilder since they do not depend on inference of other
parts of the function.
==========

to

==========
Implement type inference for try/catch blocks.

Note that the types of the exception and stack trace variables are set
in the BodyBuilder since they do not depend on inference of other
parts of the function.

R=scheglov@google.com

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

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

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