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

4459. Protect get_completion_signatures fold expression from overloaded commas

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

Priority: Not Prioritized

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

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

View all issues with Immediate status.

Discussion:

The fold expression can pick up overloaded comma operators.

[Kona 2025-11-07; approved by LWG. Status changed: New → Immediate.]

Proposed resolution:

This wording is relative to N5014.

1. Modify 33.9.2 [exec.snd.expos], as indicated:

   template<class Sndr, class... Env>
     static consteval void default-impls::check-types();
   

   -40- Let Is be the pack of integral template arguments of the integer_sequence specialization denoted by indices-for<Sndr>.

   -41- Effects: Equivalent to: ((void)get_completion_signatures<child-type<Sndr, Is>, FWD-ENV-T(Env)...>(), ...);