------- Comment #2 from  2009-02-09 07:46 -------
(In reply to comment #1)
> Unit tests are correctly permitted at the module level. A unit test can be 
> used
> to test free functions as well as class/struct methods.

Yes, I see that now.  I'm now thinking that to make the distinction in the
grammar you need two different versions of AttributeSpecifier - one for module
scope that references DeclDef and another for class/struct scope where
invariant is allowed.

ClassBodyDeclaration and StructBodyDeclaration still need to reference some
kind of DeclDef, though.


Reply via email to