The former states a subset of the restrictions of the latter (which also forbids things like constexpr typedef …), so it would be sufficient to drop "there can be no typedef specifier in the same decl-specifier-seq and".