US 14-043 7.5.5.3 [expr.prim.lambda.capture] Scope of lambda trailing return type

[wg21bot]

P2036R3 (Change scope of lambda trailing-return-type) changed the scope of the trailing return type in a lambda and was accepted as a DR. The paper had no implementation experience before it was adopted by WG21, which is problematic. During implementation of this paper after acceptance, it was found that the changes broke existing conforming code thereby leading to P2579R0 (Mitigation strategies for P2036 ”Changing scope for lambda trailing-return-type”) being adopted to try to repair the damage, but it too has the potential to break existing conforming code.

Either: Revert P2036R3 and P2579R0 as the changes are unmotivating in the face of breaking existing code. Or: Revert the DR status of P2036R3 as is proposed by P2598R0 ("Changing scope for lambda trailing-return-type" (P2036) should not be a DR).

[jfbastien]

Papers:

• https://github.com/cplusplus/papers/issues/766
• https://github.com/cplusplus/papers/issues/1274
• https://github.com/cplusplus/papers/issues/1263

[erichkeane]

Revert P2036R3 AND P2579R0:	SF	F	N	A	SA
0	0	4	3	7

Result: Consensus against change.

Make P2036R3 and P2579R0 not a DR (apply only to C++23).	SF	F	N	A	SA
0	1	4	5	2

Result: Consensus against change.

Recommend To Reject.