[Voted into WP at August, 2010 meeting.]

Proposed resolution (February, 2010):

In the grammar in 11.4 [class.mem], add the indicated production to the definition of member-declaration:

member-declaration:
decl-specifier-seq_opt attribute-specifier_opt member-declarator-list_opt ;
function-definition ;_opt
::_opt nested-name-specifier template_opt unqualified-id ;
using-declaration
static_assert-declaration
template-declaration
alias-declaration

The grammar for member-declaration in 11.4 [class.mem] does not include a production for the alias-declaration form of typedef declarations, meaning that something like

    struct S {
      using UINT = unsigned int;
    };

is ill-formed. This seems like an oversight.