First steps toward AST-based type inference involving closures.

First steps toward AST-based type inference involving closures.

Many corner cases remain to be implemented, and are marked with TODO
comments.

R=scheglov@google.com

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

[Paul Berry, 2016-05-10 21:28:48]

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

[scheglov, 2016-05-10 21:47:03]

LGTM

https://codereview.chromium.org/1966783003/diff/1/pkg/analyzer/lib/src/summar...
File pkg/analyzer/lib/src/summary/summarize_ast.dart (right):

https://codereview.chromium.org/1966783003/diff/1/pkg/analyzer/lib/src/summar...
pkg/analyzer/lib/src/summary/summarize_ast.dart:391: var localClosureIndexMap =
null; // TODO(paulberry): fix.
Do we want to have types for these variables?

[Paul Berry, 2016-05-10 22:04:15]

https://codereview.chromium.org/1966783003/diff/1/pkg/analyzer/lib/src/summar...
File pkg/analyzer/lib/src/summary/summarize_ast.dart (right):

https://codereview.chromium.org/1966783003/diff/1/pkg/analyzer/lib/src/summar...
pkg/analyzer/lib/src/summary/summarize_ast.dart:391: var localClosureIndexMap =
null; // TODO(paulberry): fix.
On 2016/05/10 21:47:03, scheglov wrote:
> Do we want to have types for these variables?

Good point.  Fixed.

[Paul Berry, 2016-05-10 22:04:28]

Description was changed from

==========
First steps toward AST-based type inference involving closures.

Many corner cases remain to be implemented, and are marked with TODO
comments.
==========

to

==========
First steps toward AST-based type inference involving closures.

Many corner cases remain to be implemented, and are marked with TODO
comments.

R=scheglov@google.com

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

[Paul Berry, 2016-05-10 22:04:29]

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