[Voted into the WP at the November, 2010 meeting as part of paper N3206.]

The meaning of the [[base_check]] and [[hiding]] attributes is defined in terms of hiding as described in _N4868_.6.4.10 [basic.scope.hiding]. In that section, however, hiding is orthogonal to overriding: practically by definition, a function that overrides a base class virtual function also hides it. According to the current specification, the [[override]] and [[hiding]] attributes would always need to be specified together on every overriding function in a [[base_check]] class. This is presumably unintended, so the current wording should be amended so that [[override]] implies [[hiding]] or some such.