Add the ability to summarize inferred types based on function-typed parameters.

Add the ability to summarize inferred types based on function-typed parameters.

There may still be bugs related to generic types.  I will follow up
with more tests (and fixes if necessary) in further CLs.

R=scheglov@google.com

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

[Paul Berry, 2016-01-29 20:40:09]

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

[scheglov, 2016-01-29 20:56:56]

LGTM

https://codereview.chromium.org/1647253002/diff/1/pkg/analyzer/test/src/summa...
File pkg/analyzer/test/src/summary/summary_common.dart (right):

https://codereview.chromium.org/1647253002/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/summary_common.dart:4008:
expect(type.implicitFunctionTypeIndices[0], 1);
I think just equality would work fine and replace the two lines above.
expect(type.implicitFunctionTypeIndices, [1]);

[Paul Berry, 2016-01-29 21:12:19]

Description was changed from

==========
Add the ability to summarize inferred types based on function-typed parameters.

There may still be bugs related to generic types.  I will follow up
with more tests (and fixes if necessary) in further CLs.
==========

to

==========
Add the ability to summarize inferred types based on function-typed parameters.

There may still be bugs related to generic types.  I will follow up
with more tests (and fixes if necessary) in further CLs.

R=scheglov@google.com

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

[Paul Berry, 2016-01-29 21:12:21]

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

[Paul Berry, 2016-01-29 21:13:18]

https://codereview.chromium.org/1647253002/diff/1/pkg/analyzer/test/src/summa...
File pkg/analyzer/test/src/summary/summary_common.dart (right):

https://codereview.chromium.org/1647253002/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/summary_common.dart:4008:
expect(type.implicitFunctionTypeIndices[0], 1);
On 2016/01/29 20:56:56, scheglov wrote:
> I think just equality would work fine and replace the two lines above.
> expect(type.implicitFunctionTypeIndices, [1]);

Whoops, I accidentally just landed the CL without fixing this--sorry.  I will
fix in my next CL.