Drop implicit types from summaries.

Drop implicit types from summaries.

Previously, implicit types were serialized in the summary as
references to `dynamic`.  Now, we simply omit the types from the
summary and the dynamic type is inferred at resynthesis time.

This should reduce the summary size and simplify the implementation of
inferred types.

R=scheglov@google.com

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

[Paul Berry, 2016-01-22 19:32:21]

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

[scheglov, 2016-01-22 19:39:52]

LGTM

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

https://codereview.chromium.org/1622673002/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/summary_common.dart:1602:
test_constExpr_makeList_untyped() {
I try to name tests using the name of the operation they test.
So, this test would be better to name "test_constExpr_makeUntypedList".

Actually all the other makeList / makeMap were renamed, all these tests would be
good to rename.

[Paul Berry, 2016-01-22 19:54:39]

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

https://codereview.chromium.org/1622673002/diff/1/pkg/analyzer/test/src/summa...
pkg/analyzer/test/src/summary/summary_common.dart:1602:
test_constExpr_makeList_untyped() {
On 2016/01/22 19:39:52, scheglov wrote:
> I try to name tests using the name of the operation they test.
> So, this test would be better to name "test_constExpr_makeUntypedList".
> 
> Actually all the other makeList / makeMap were renamed, all these tests would
be
> good to rename.

Done.

[Paul Berry, 2016-01-22 19:57:35]

Description was changed from

==========
Drop implicit types from summaries.

Previously, implicit types were serialized in the summary as
references to `dynamic`.  Now, we simply omit the types from the
summary and the dynamic type is inferred at resynthesis time.

This should reduce the summary size and simplify the implementation of
inferred types.
==========

to

==========
Drop implicit types from summaries.

Previously, implicit types were serialized in the summary as
references to `dynamic`.  Now, we simply omit the types from the
summary and the dynamic type is inferred at resynthesis time.

This should reduce the summary size and simplify the implementation of
inferred types.

R=scheglov@google.com

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

[Paul Berry, 2016-01-22 19:57:36]

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