Revise static typecheck rules for for-in.

Revise static typecheck rules for for-in.

BUG=
R=paulberry@google.com

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

[gbracha, 2015-06-15 23:18:07]

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

[Paul Berry, 2015-06-16 00:13:30]

lgtm assuming the fix below is applied.

https://codereview.chromium.org/1184183010/diff/1/docs/language/dartLangSpec.tex
File docs/language/dartLangSpec.tex (right):

https://codereview.chromium.org/1184183010/diff/1/docs/language/dartLangSpec....
docs/language/dartLangSpec.tex:5686: where \code{n0} is an identifier that does
not occur anywhere in the program, except that for purposes of static
typechecking, it is checked under the assumption that $n0$ is declared to be of
type $T$, where $T$ is the static type of $e$.
This should say "where $T$ is the static type of $e$.iterator."

[gbracha, 2015-06-16 00:48:43]

PTAL

[gbracha, 2015-06-16 00:50:42]

Committed patchset #2 (id:20001) manually as
f71b48a0413b43465e6e169a55012f08fd09cee3 (presubmit successful).