Movatterモバイル変換

[Moved to DR at the May, 2015 meeting.]

Proposed resolution (November, 2014):

1. Change 7.5.6 [expr.prim.lambda] paragraph 4 as follows:

If alambda-expression does not includealambda-declarator, it is as ifthelambda-declarator were(). The lambda return typeisauto, which is replaced bythe type specified bythetrailing-return-type if provided and/or deducedfromreturn statements as described in9.2.9.7 [dcl.spec.auto]. [Example:...

2. Change 9.3.4.6 [dcl.fct] paragraph 2 as follows:

The type of thedeclarator-id inD is“derived-declarator-type-list function of(parameter-declaration-clause)cv-qualifier-seq_optref-qualifier_optreturningtrailing-return-typeU”,whereU is the type specified by thetrailing-return-type. Theoptionalattribute-specifier-seq...

According to 7.5.6 [expr.prim.lambda] paragraph 4,

If alambda-expression does not includealambda-declarator, it is as ifthelambda-declarator were(). The lambda returntype isauto, which is replaced bythetrailing-return-type if provided...

trailing-return-type is a syntactic nonterminal thatincludes the-> and thus cannot be used directly torefer to the type. It should instead say something like, ...thetype specified by thetrailing-return-type.

The reference in 9.3.4.6 [dcl.fct] paragraph 2, “...returningtrailing-return-type” should be similarly adjusted.