On 15/11/2024 13.07, mauro russo via Std-Discussion wrote:
> From what I see on https://eel.is/c++draft/temp.type <https://eel.is/c++draft/temp.type> as generated on 9th of November, 2024,
>
> in [temp.type]-p5, p6,
>
> the former explicits the sequence "T... [constant expression]", whereas the second refers pack-index-specifiers.
>
> Why not wording p5 as follows:
>
> For a type template parameter pack T, <del> T...[/constant-expression/ <https://eel.is/c++draft/expr.const#nt:constant-expression>] </del> <ins> a corresponding /pack-index-specifier/ <https://eel.is/c++draft/dcl.type.pack.index#nt:pack-index-specifier> </ins> denotes a unique dependent type. <https://eel.is/c++draft/temp.type#5.sentence-1>

What's a "corresponding pack-index-specifier"?

I think the existing wording is strictly better.

We could say "For a type template parameter pack T, the pack-index-specifier T...[constant-expression] denotes a unique dependent type."
but that feels like a minor improvement only.

Jens