sender_in and receiver_of exposition-only| Document #: | P4159R0 |
| Date: | 2026-03-27 |
| Project: | Programming Language C++ |
| Audience: |
LWG |
| Reply-to: |
Tim Song <t.canens.cpp@gmail.com> |
In response to LEWG direction on [LWG4361], this paper provides wording to make the receiver_of and sender_to concepts exposition-only for C++26.
Instructions to the editor:
After applying all other papers moved during the Croydon meeting except [P4154R0], make the following changes in Clause 33 [exec]:
// exposition only comment to the declaration of sender_to in 33.4 [execution.syn] and its definition in 33.9.3 [exec.snd.concepts].// exposition only comment to the declaration of receiver_of in 33.4 [execution.syn] and its definition in 33.7.1 [exec.recv.concepts].sender_to with sender-to.receiver_of with receiver-of.[LWG4361] Lewis Baker. awaitable-receiver::set_value should use Mandates instead of constraints.
https://wg21.link/lwg4361
[P4154R0] Tim Song, Ruslan Arutyunyan, Arthur O’Dwyer. 2026. Renaming various execution things.
https://wg21.link/P4154R0