Adjusted spec to outlaw built-in identifiers in type annotations.

Adjusted spec to outlaw built-in identifiers in type annotations.

Addresses issue https://github.com/dart-lang/sdk/issues/28817.

R=lrn@google.com

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

[eernst, 2017-02-17 15:40:17]

eernst@google.com changed reviewers:
+ floitsch@google.com, lrn@chromium.org

[eernst, 2017-02-17 15:40:17]

Adjusted wording to outlaw built-in identifiers in some cases where they clearly
do not make sense.

[Lasse Reichstein Nielsen, 2017-02-19 11:43:53]

lrn@google.com changed reviewers:
+ lrn@google.com

[Lasse Reichstein Nielsen, 2017-02-19 11:43:53]

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

https://codereview.chromium.org/2704573004/diff/1/docs/language/dartLangSpec....
docs/language/dartLangSpec.tex:5407: It is a compile-time error to use a
built-in identifier other than \DYNAMIC{} in a type annotation or type
parameter.
The "in" is somewhat vague, but I think it works. We should just be careful in
the future (good thing "extends" is a reserved word).

If we make Function a built-in identifier, it needs to be added here as an
exception too.

[Lasse Reichstein Nielsen, 2017-02-19 11:44:00]

lgtm

[eernst, 2017-02-20 08:25:12]

Agreed.

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

https://codereview.chromium.org/2704573004/diff/1/docs/language/dartLangSpec....
docs/language/dartLangSpec.tex:5407: It is a compile-time error to use a
built-in identifier other than \DYNAMIC{} in a type annotation or type
parameter.
On 2017/02/19 11:43:53, Lasse Reichstein Nielsen wrote:
> The "in" is somewhat vague, but I think it works. We should just be careful in
> the future (good thing "extends" is a reserved word).
> 
> If we make Function a built-in identifier, it needs to be added here as an
> exception too.

Acknowledged!

[eernst, 2017-02-20 08:28:18]

Description was changed from

==========
Adjusted spec to outlaw built-in identifiers in type annotations.

Addresses issue https://github.com/dart-lang/sdk/issues/28817.
==========

to

==========
Adjusted spec to outlaw built-in identifiers in type annotations.

Addresses issue https://github.com/dart-lang/sdk/issues/28817.

R=lrn@google.com

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

[eernst, 2017-02-20 08:28:19]

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