Issue 4459 - WG21 LWG Issues
Title
Protect `get_completion_signatures` fold expression from overloaded commas
Status
wp
Section
[exec.snd.expos]
Submitter
Jonathan Wakely

Created on 2025-11-07.00:00:00 last changed 1 month ago

Messages

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

Proposed resolution:

This wording is relative to N5014.

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

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

[ Kona 2025-11-08; Status changed: Immediate → WP. ]
msg15575 (view)
Date: 2025-11-07.02:44:44

[ Kona 2025-11-07; approved by LWG. Status changed: New → Immediate. ]
msg15574 (view)
Date: 2025-11-07.00:00:00
Addresses US 214-355

The fold expression can pick up overloaded comma operators.

History
Date User Action Args
2025-11-11 10:48:55adminsetmessages: + msg15708
2025-11-11 10:48:55adminsetstatus: immediate -> wp
2025-11-07 02:44:44adminsetmessages: + msg15578
2025-11-07 02:44:44adminsetstatus: new -> immediate
2025-11-07 00:56:06adminsetmessages: + msg15575
2025-11-07 00:00:00admincreate