[Voted into the WP at the November, 2010 meeting.]

Proposed resolution (September, 2010):

Change 7.5.5 [expr.prim.lambda] bullet 4.1 as follows:

• if the compound-statement is of the form

  { return attribute-specifier_opt return expression ; }

  the type of the returned expression after lvalue-to-rvalue conversion (7.3.2 [conv.lval]), array-to-pointer conversion (7.3.3 [conv.array]), and function-to-pointer conversion (7.3.4 [conv.func]);

7.5.5 [expr.prim.lambda] bullet 4.1 says,

if the compound-statement if [sic] of the form

{ return attribute-specifier_opt expression ; }

the type of the returned expression...

The problem (besides the typo “if”) is that the attribute-specifier for a return statement precedes, rather than following, the keyword (Clause 8 [stmt.stmt] paragraph 1).