[sc34wg3] Constraint application

[Lars Marius Garshol]

* Robert Cerny
> 
> Let's say we have a name type NT for which there exists a scope constraint SC. Does SC apply to all instances of sub types of NT? As far as i understand the spec, i would say yes: [...]

Yep. And the two bits of the spec that you quoted are indeed the crucial ones that make it so.

--Lars M.
http://www.garshol.priv.no/tmphoto/
http://www.garshol.priv.no/blog/