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.

4447. Remove unnecessary sizeof…(Env) > 1 condition

Section: 33.4 [execution.syn] Status: Immediate Submitter: Tomasz Kamiński Opened: 2025-11-05 Last modified: 2025-11-05

Priority: Not Prioritized

View all issues with Immediate status.

Discussion:

Addresses US 206-325

The “sizeof…(Env) > 1 is true” part seems unreachable because CS is ill-formed in that case.

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

Proposed resolution:

This wording is relative to N5014.

  1. Modify 33.4 [execution.syn] as indicated:

    -2- For type Sndr and pack of types Env, let CS be completion_signatures_of_t<Sndr, Env...>. Then single-sender-value-type<Sndr, Env...> is ill-formed if CS is ill-formed or if sizeof...(Env) > 1 is true; otherwise, it is an alias for: […]