This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

4455. Add missing constraint to basic-sender::get_completion_signatures definition

Section: 33.9.2 [exec.snd.expos] Status: New Submitter: Jonathan Wakely Opened: 2025-11-06 Last modified: 2025-11-06

Priority: Not Prioritized

View other active issues in [exec.snd.expos].

View all other issues in [exec.snd.expos].

View all issues with New status.

Discussion:

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

Proposed resolution:

This wording is relative to N5014.

1. Modify 33.9.2 [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();