>From what I see on 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>