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

2024-12-19


2810. Requiring the absence of diagnostics for templates

Section: 13.8.1  [temp.res.general]     Status: DRWP     Submitter: Andrey Erokhin     Date: 2022-01-23

[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.

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.