[sc34wg3] Constraint application

Lars Marius Garshol larsga at garshol.priv.no
Thu May 27 04:07:06 EDT 2010

* 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.

More information about the sc34wg3 mailing list