Created on 2017-02-03.00:00:00 last changed 89 months ago
Proposed resolution:
This wording is relative to N4618.
Modify [meta.type.synop] as indicated:
-1-
The behavior of a program that adds specializations for any of the templates defined in this subclause is undefined unless otherwise specifiedUnless otherwise specified, a program that adds specializations for any of the templates defined in this subclause is ill-formed; no diagnostic required.
[ 2017-07 Toronto Thurs Issue Prioritization ]
NAD; what the standard says is that this is "undefined", not "unspecified".
Addresses US 10
A user specialization of any type trait should produce an ill-formed program, not merely one whose behavior is unspecified. See also the related comment re [execpol.type].
Proposed change:
Reword the paragraph as follows:
Unless otherwise specified, a program that adds specializations for any of the templates defined in this subclause is ill-formed; no diagnostic required.
See also 2909
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2017-07-15 23:15:19 | admin | set | messages: + msg9386 |
| 2017-07-15 23:15:19 | admin | set | status: new -> nad |
| 2017-02-03 20:29:35 | admin | set | messages: + msg8859 |
| 2017-02-03 00:00:00 | admin | create | |