Title
decl-specifier-seq in lambda-specifiers
Status
ready
Section
7.5.5.1 [expr.prim.lambda.general]
Submitter
Jens Maurer

Created on 2021-10-28.00:00:00 last changed 3 weeks ago

Messages

Date: 2021-12-15.00:00:00

Proposed resolution (December, 2021):

  1. Change the grammar in 7.5.5.1 [expr.prim.lambda.general] as follows:

    • lambda-specifiers:
        decllambda-specifier-seqopt noexcept-specifieropt attribute-specifier-seqopt trailing-return-typeopt
      lambda-specifier:
        consteval
        constexpr
        mutable
      lambda-specifier-seq:
        lambda-specifier
        lambda-specifier lambda-specifier-seq
  2. Change 7.5.5.1 [expr.prim.lambda.general] paragrap 3 as follows:

  3. In the decl-specifier-seq of the lambda-declarator, each decl-specifier shall be one of mutable, constexpr, or consteval. A lambda-specifier-seq shall contain at most one of each lambda-specifier and shall not contain both constexpr and consteval. If the lambda-declarator contains an explicit object parameter (9.3.4.6 [dcl.fct]), then no decllambda-specifier in the decllambda-specifier-seq shall be mutable.
Date: 2021-10-28.00:00:00

(From editorial issue 2338.)

Use of decl-specifier-seq in the production for lambda-specifiers is too general and should be restricted.

History
Date User Action Args
2022-01-06 00:00:00adminsetmessages: + msg6597
2021-10-28 00:00:00admincreate