Add propagated types to summary files.

Add propagated types to summary files.

Note: the prelinker doesn't support type propagation, since type
propagation may require looking at files beyond direct imports and the
transitive closure of exports.  However, to pave the way for a future
implementation of a full linker, we still maintain the distinction
between linked and unlinked data.  The unlinked data for a propagated
type is simply a unique "slot id" for each type in the compilation
unit which may be propagated.  The linked data is the propagated type
to fill into each slot, if any.

R=scheglov@google.com

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

[Paul Berry, 2016-01-20 05:54:44]

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

[scheglov, 2016-01-20 06:31:09]

LGTM

[Paul Berry, 2016-01-20 14:36:20]

Description was changed from

==========
Add propagated types to summary files.

Note: the prelinker doesn't support type propagation, since type
propagation may require looking at files beyond direct imports and the
transitive closure of exports.  However, to pave the way for a future
implementation of a full linker, we still maintain the distinction
between linked and unlinked data.  The unlinked data for a propagated
type is simply a unique "slot id" for each type in the compilation
unit which may be propagated.  The linked data is the propagated type
to fill into each slot, if any.
==========

to

==========
Add propagated types to summary files.

Note: the prelinker doesn't support type propagation, since type
propagation may require looking at files beyond direct imports and the
transitive closure of exports.  However, to pave the way for a future
implementation of a full linker, we still maintain the distinction
between linked and unlinked data.  The unlinked data for a propagated
type is simply a unique "slot id" for each type in the compilation
unit which may be propagated.  The linked data is the propagated type
to fill into each slot, if any.

R=scheglov@google.com

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

[Paul Berry, 2016-01-20 14:36:31]

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