P2890 R2 Contracts on lambdas

[wg21bot]

P2890R0 Contracts on lambdas (Timur Doumler)

[wg21bot]

P2890R1 Contracts on lambdas (Timur Doumler, )

[wg21bot]

P2890R2 Contracts on lambdas (Timur Doumler, )

[timuraudio]

Adopted by SG21 for P2900.

2023-12-07, Telecon

Poll 3:
For the Contracts MVP, allow preconditions and postconditions on lambdas with
the syntax proposed in P2961R2 and the name lookup rules proposed in P2890R1.

SF F N A SA
9 9 1 0 0

Result: consensus

Poll 4:
For the Contracts MVP, if an entity implicitly captured by a lambda expression
L is only referenced within the preconditions and postconditions of L and
within contract assertions inside the body of L, the program is ill-formed.

SF F N A SA
7 7 1 3 0

Result: Consensus

2023-12-14, Telecon

Poll 1:
For the Contracts MVP, adopt the name lookup rules for pre and post on lambdas
proposed in P2890R2. Name lookup for pre and post on a lambda should follow the
existing rules for pre and post on functions in the Contracts MVP: it should be
performed as-if the predicate were at the beginning of the lambda’s body.

SF F N A SA
10 5 0 0 0

Result: Consensus