- Title
- Misleading note "An alias template name is never deduced."
- Status
- ready
- Section
- 13.7.8 [temp.alias]
- Submitter
- Brian Bi
Created on 2025-11-02.00:00:00 last changed 1 month ago
Messages
Date: 2025-11-05.12:07:23
Proposed resolution (approved by CWG 2025-11-04):
Change in 13.7.8 [temp.alias] paragraph 2 as follows:
... [Note 1:AnThe alias template name isnevernot deduced from such a type (13.10.3.6 [temp.deduct.type]). —end note] ...
Date: 2025-11-02.00:00:00
(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).
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-11-07 22:16:49 | admin | set | status: tentatively ready -> ready |
| 2025-11-05 12:07:23 | admin | set | status: open -> tentatively ready |
| 2025-11-02 11:24:32 | admin | set | messages: + msg8191 |
| 2025-11-02 00:00:00 | admin | create | |