It's an error if to instantiate a subclass of a malbounded type,or a type variable.

It's an error if to instantiate a subclass of a malbounded type,or a type variable.

R=regis@google.com

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

[gbracha, 2013-10-16 00:33:42]

FYI.

[regis, 2013-10-16 00:48:34]

LGTM

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

https://codereview.chromium.org/26990005/diff/1/docs/language/dartLangSpec.te...
docs/language/dartLangSpec.tex:3175: If $T$  is malformed or if $T$ is type
variable a dynamic error occurs. In checked mode, if $T$ or any of its
superclasses is malbounded a dynamic error occurs.
is *a* type variable

Can a class be malbounded? Would supertypes instead of superclasses be better?
Oh, that is not better, because it would include implemented interface types,
which are not a problem.

[gbracha, 2013-10-16 00:54:40]

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

https://codereview.chromium.org/26990005/diff/1/docs/language/dartLangSpec.te...
docs/language/dartLangSpec.tex:3175: If $T$  is malformed or if $T$ is type
variable a dynamic error occurs. In checked mode, if $T$ or any of its
superclasses is malbounded a dynamic error occurs.
On 2013/10/16 00:48:34, regis wrote:
> is *a* type variable
> 
> Can a class be malbounded? Would supertypes instead of superclasses be better?
> Oh, that is not better, because it would include implemented interface types,
> which are not a problem.

Done.

[gbracha, 2013-10-16 00:55:00]

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