Title
Deduction guides cannot have a trailing requires-clause
Status
tentatively ready
Section
13.7.2.3 [temp.deduct.guide]
Submitter
Richard Smith

Created on 2020-02-26.00:00:00 last changed 2 weeks ago

Messages

Date: 2023-11-16.21:27:26

Proposed resolution (approved by CWG 2023-11-11):

Change the grammar in 13.7.2.3 [temp.deduct.guide] paragraph 1 as follows:

deduction-guide:
   explicit-specifieropt template-name ( parameter-declaration-clause ) requires-clauseopt -> simple-template-id ;
Date: 2020-02-26.00:00:00

The grammar for deduction-guide does not, but should, allow a trailing requires-clause:

deduction-guide:
   explicit-specifieropt template-name ( parameter-declaration-clause ) -> simple-template-id ;
History
Date User Action Args
2023-11-16 21:27:26adminsetstatus: open -> tentatively ready
2023-03-11 20:08:20adminsetmessages: + msg7229
2020-02-26 00:00:00admincreate