Fix issue 10487 by adapting the type checker so it uses the dynamic type for throw expressions.

Fix issue 10487 by adapting the type checker so it uses the dynamic type for throw expressions.

R=johnniwinther@google.com
BUG=

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

[Johnni Winther, 2013-05-08 09:23:37]

LGTM

Looks like a short-term solution. We probably need to investigate the interplay
between (sub)type checking and reachability analysis in the face of throw
expressions.

[kasperl, 2013-05-08 09:27:53]

On 2013/05/08 09:23:37, Johnni Winther wrote:
> LGTM
> 
> Looks like a short-term solution. We probably need to investigate the
interplay
> between (sub)type checking and reachability analysis in the face of throw
> expressions.

Yeah, I just wanted to get us to back to a point where the reachability analysis
gives the "good" old results when throws are used in statement positions.

[kasperl, 2013-05-08 09:28:37]

Committed patchset #1 manually as r22501 (presubmit successful).