When recording the type of a captured variable/parameter, use the closure field it maps to. Otherwi…

When recording the type of a captured variable/parameter, use the closure field it maps to. Otherwise, there is a confusion for a parameter between the type given by its callers, and the actual type in the method, where the parameter can be updated explictly, or implicitly by the inferrer on "is checks".

R=karlklose@google.com

Committed: https://code.google.com/p/dart/source/detail?r=22939

[karlklose, 2013-05-21 09:08:26]

LGTM.

[ngeoffray, 2013-05-21 10:00:42]

Thanks Karl. Could you please PTAL? After merging with trunk, I had to fix a
couple of things.

[karlklose, 2013-05-21 10:35:20]

SLGTM.

[ngeoffray, 2013-05-21 14:09:23]

Committed patchset #3 manually as r22939 (presubmit successful).