Created on 2013-09-28.00:00:00 last changed 81 months ago
Rationale (February, 2017):
The text in question was revised editorially and the issue is now moot.
According to 13.8 [temp.res] paragraph 8,
No diagnostic shall be issued for a template for which a valid specialization can be generated.
One sentence later, it says,
If every valid specialization of a variadic template requires an empty template parameter pack, the template is ill-formed, no diagnostic required.
This appears to be a contradiction: in the latter case, there is postulated to exist a “valid” specialization (with an empty pack expansion), for which a diagnostic might or might not be issued. The first quoted sentence, however, forbids issuing a diagnostic for a template that has at least one valid specialization.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2018-02-27 00:00:00 | admin | set | messages: + msg6020 |
| 2018-02-27 00:00:00 | admin | set | status: drafting -> nad |
| 2014-03-03 00:00:00 | admin | set | status: open -> drafting |
| 2013-09-28 00:00:00 | admin | create | |