Issue 4455 - WG21 LWG Issues
Title
Add missing constraint to basic-sender::get_completion_signatures definition
Status
wp
Section
[exec.snd.expos]
Submitter
Jonathan Wakely

Created on 2025-11-06.00:00:00 last changed 1 week ago

Messages

msg15706 (view)
Date: 2025-11-11.10:48:55

Proposed resolution:

This wording is relative to N5014.

  1. Modify [exec.snd.expos], as indicated (just above paragraph 43):

    template<class Tag, class Data, class... Child>
  template<class decays-to<basic-sender> Sndr, class... Env>
    constexpr auto basic-sender<Tag, Data, Child...>::get_completion_signatures();
msg15569 (view)
Date: 2025-11-11.10:48:55

[ Kona 2025-11-08; Status changed: Immediate → WP. ]
msg15555 (view)
Date: 2025-11-06.19:42:28

[ Kona 2025-11-06; approved by LWG. Status changed: New → Immediate. ]
msg15554 (view)
Date: 2025-11-06.00:00:00
Addresses US 215-356

The definition of basic-sender::get_completion_signatures is missing the decays-to<basic-sender> type constraint.

History
Date User Action Args
2025-11-11 10:48:55adminsetmessages: + msg15706
2025-11-11 10:48:55adminsetstatus: immediate -> wp
2025-11-06 19:42:28adminsetmessages: + msg15569
2025-11-06 19:42:28adminsetstatus: new -> immediate
2025-11-06 03:54:34adminsetmessages: + msg15555
2025-11-06 00:00:00admincreate