P3557 R2 High-Quality Sender Diagnostics with Constexpr Exceptions

[wg21bot]

P3557R0 High-Quality Sender Diagnostics with Constexpr Exceptions (Eric Niebler)

[inbal2l]

2025-02-13 Library Evolution Hagenberg Meeting

P3557R0: High-Quality Sender Diagnostics with Constexpr Exceptions

2025-02-13 Library Evolution Hagenberg Minutes

Champion: Eric Niebler
Chair: Inbal Levi / Fabio Fracassi
Minute Taker: Robert Leahy

Summary

ACTION: Section number 5.1.2 remove constexpr branch.

POLL: The completion_signatures primary class template should enforce ordering, and uniquing, resulting in: for the same set of completion signatures, provided in different orders, completion_signatures<...> for both denotes the same type.

SF	F	N	A	SA
0	2	4	5	2

Attendance: 28 (IP) + 8 (R)
Author's Position: A
Outcome: Consensus against

(No need for further exploration of this direction)

POLL: Move the non-mandatory parts to a separate paper (Remove the transform_completion_signatures alias template), publish P3557R1 with the mandatory parts of P3557R0 (sections 1-6 in executive summary) and forward P3557R1 to LWG for C++26.

SF	F	N	A	SA
7	10	2	0	0

Attendance: 31 (IP) + 10 (R)
Author's Position: SF
Outcome: Consensus in favour.

Next Steps

Split the non-mandatory parts in the paper (which were not reviewd during the meeting) to a separate paper (Remove the transform_completion_signatures alias template), publish P3557R1 with the mandatory parts of P3557R0 (sections 1-6 in executive summary) and forward P3557R1 to LWG for C++26.

[wg21bot]

P3557R1 High-Quality Sender Diagnostics with Constexpr Exceptions (Eric Niebler)