------- Comment #2 from jlqu...@optonline.net 2009-02-09 07:46 -------
(In reply to comment #1)
> Unit tests are correctly permitted at the module level. A unit test can be
> 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.