Fix missing downwards inference on fields, report more inference

Fix missing downwards inference on fields, report more inference

Use the element type on the variable declaration to set the downwards
inference context, so that we get downwards inference from inferred
types.  Also eliminated some TODOs about places where we were not
recording inferences.

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
R=brianwilkerson@google.com

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

[Leaf, 2016-04-22 20:28:29]

Description was changed from

==========
Fix missing downwards inference on fields, report more inference

BUG=
==========

to

==========
Fix missing downwards inference on fields, report more inference

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
==========

[Leaf, 2016-04-22 20:33:09]

Description was changed from

==========
Fix missing downwards inference on fields, report more inference

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
==========

to

==========
Fix missing downwards inference on fields, report more inference

Use the element type on the variable declaration to set the downwards
inference context, so that we get downwards inference from inferred
types.  Also eliminated some TODOs about places where we were not
recording inferences.

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
==========

[Leaf, 2016-04-22 20:33:09]

leafp@google.com changed reviewers:
+ brianwilkerson@google.com

[Brian Wilkerson, 2016-04-22 21:23:49]

lgtm

[Leaf, 2016-04-22 22:29:32]

Description was changed from

==========
Fix missing downwards inference on fields, report more inference

Use the element type on the variable declaration to set the downwards
inference context, so that we get downwards inference from inferred
types.  Also eliminated some TODOs about places where we were not
recording inferences.

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
==========

to

==========
Fix missing downwards inference on fields, report more inference

Use the element type on the variable declaration to set the downwards
inference context, so that we get downwards inference from inferred
types.  Also eliminated some TODOs about places where we were not
recording inferences.

Fixes https://github.com/dart-lang/sdk/issues/25546 .

BUG=
R=brianwilkerson@google.com

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

[Leaf, 2016-04-22 22:29:33]

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