Title
Requiring the absence of diagnostics for templates
Status
drwp
Section
13.8.1 [temp.res.general]
Submitter
Andrey Erokhin

Created on 2022-01-23.00:00:00 last changed 4 months ago

Messages

Date: 2023-12-02.13:35:39

Proposed resolution (approved by CWG 2023-12-01):

Change in 13.8.1 [temp.res.general] paragraph 6 as follows:

Otherwise, no diagnostic shall be issued for a template for which a valid specialization can be generated.
Date: 2024-03-15.00:00:00

[Accepted as a DR at the March, 2024 meeting.]

Subclause 13.8.1 [temp.res.general] paragraph 6 specifies:

The program is ill-formed, no diagnostic required, if: ... Otherwise, no diagnostic shall be issued for a template for which a valid specialization can be generated.

The "Otherwise..." part is misleading; it could be interpreted to mean that warnings must be suppressed in templates.

History
Date User Action Args
2024-07-20 13:52:34adminsetstatus: dr -> drwp
2024-04-05 21:43:46adminsetstatus: ready -> dr
2024-03-20 14:10:31adminsetstatus: tentatively ready -> ready
2023-12-02 13:35:39adminsetmessages: + msg7531
2023-12-02 13:35:39adminsetstatus: open -> tentatively ready
2022-01-23 00:00:00admincreate