In checked mode, parameters are already explicitly checked in the inferrer graph. So there is no ne…

In checked mode, parameters are already explicitly checked in the inferrer graph. So there is no need to narrow them.

R=kasperl@google.com

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

[ngeoffray, 2013-10-30 10:20:18]

Without this change, the SSA graph goes into a bogus state where a parameter
with type dynamic is the receiver of a typed selector typed null, because the
inferrer found that the parameter is always null.

This fixes: http://code.google.com/p/dart/issues/detail?id=14603.

[kasperl, 2013-10-30 13:14:59]

LGTM. Do you need to update the status file?

[ngeoffray, 2013-10-30 13:18:47]

On 2013/10/30 13:14:59, kasperl wrote:
> LGTM. Do you need to update the status file?

Yes, done in patch set 2.

[ngeoffray, 2013-10-30 13:19:13]

Committed patchset #2 manually as r29542 (presubmit successful).