В С++ 11 спецификатор типа включает спецификаторы классов и спецификаторы перечисления. (так называемые определения классов и определения перечислений)
В соответствии с спецификаторами типа грамматика/синтаксис могут отображаться в нескольких местах на языке, но не во всех этих местах допускаются спецификаторы спецификаций и спецификаторов перечисления.
Например:
struct C{} c;
// ok: types may be defined in the specifiers of a simple declaration
void f(struct S{});
// error: types may not be defined in parameter types
constexpr auto i = sizeof(enum E{});
// error: types may not be defined in ‘sizeof’ expressions
Где в стандарте он разделяет эти применения спецификаторов типов на те, где типы могут и не могут быть определены? Например, где правило, в котором указано, что типы не могут быть определены в выражении sizeof?