P3119 R1 Tokyo Technical Fixes to Contracts

[wg21bot]

P3119R0 Tokyo Technical Fixes to Contracts (Joshua Berne)

[wg21bot]

P3119R1 Tokyo Technical Fixes to Contracts (Joshua Berne)

[timuraudio]

Considered and partially adopted by SG21 for P2900.

2024-04-04, Telecon

Poll 7:
For the Contracts MVP, make it ill-formed to odr-use an array parameter from
the predicate of a postcondition, as specified in Proposal 1 of P3119R0.

SF F N A SA
3 12 0 0 0
Result: Consensus

Poll 8:
For the Contracts MVP, make it ill-formed, no diagnostic required for a
contract predicate to enclose a use of va_start.

SF F N A SA
5 10 1 0 0
Result: Consensus