[dcl.type.auto.deduct]/2.3 superfluous?

[dcl.type.auto.deduct]/2(.3) directly provides placeholder type deduction for a non-type template parameter.

A type T containing a placeholder type, and a corresponding initializer e, are determined as follows:

• …
• for a non-type template parameter declared with a type that contains a placeholder type, T is the declared type of the non-type template parameter and e is the corresponding template argument.

[temp.arg.nontype]/1 provides the same thing

If the type T of a template-parameter contains a placeholder type or a placeholder for a deduced class type, the type of the parameter is the type deduced for the variable x in the invented declaration T x =template-argument;

but by using [dcl.type.auto.deduct]/2.2

• for a variable declared with a type that contains a placeholder type, T is the declared type of the variable and e is the initializer. …

With that, it doesn't seem like [dcl.type.auto.deduct]/2.3 is necessary. Besides, [dcl.type.class.deduct] does not directly provide for replacement of deduced class type placeholders in non-type template parameters, only in an initializing variable declaration.

Compare [dcl.type.auto.deduct]/2.3 with [temp.arg.nontype]/1 and [dcl.type.class.deduct], focusing on whether the cited rules already cover non-type template parameter deduction. Done means resolving whether the wording is redundant and documenting the needed standard-text change or rationale.