This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118f. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-11-07

3107. Misleading note "An alias template name is never deduced."

(From submission #786.)

The note in 13.7.8 [temp.alias] paragraph 2 is incorrect because an alias template A can indeed be deduced from a type of the form T<A> (where T is a template with a type template template parameter).

Proposed resolution (approved by CWG 2025-11-04):

Change in 13.7.8 [temp.alias] paragraph 2 as follows:

... [Note 1: An The alias template name is never not deduced from such a type (13.10.3.6 [temp.deduct.type]). —end note] ...