- Title
- Remove unnecessary sizeof…(Env) > 1 condition
- Status
- wp
- Section
- [execution.syn]
- Submitter
- Tomasz Kamiński
Created on 2025-11-05.00:00:00 last changed 1 month ago
Messages
Date: 2025-11-11.10:48:55
Proposed resolution:
This wording is relative to N5014.
Modify [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: […]
Date: 2025-11-11.10:48:55
[ Kona 2025-11-08; Status changed: Immediate → WP. ]
Date: 2025-11-05.19:38:56
[ Kona 2025-11-05; approved by LWG. Status changed: New → Immediate. ]
Date: 2025-11-05.00:00:00
Addresses US 206-325
The “`sizeof…(Env) > 1` is `true`” part seems unreachable because `CS` is ill-formed in that case.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-11-11 10:48:55 | admin | set | messages: + msg15700 |
| 2025-11-11 10:48:55 | admin | set | status: immediate -> wp |
| 2025-11-05 19:38:56 | admin | set | messages: + msg15525 |
| 2025-11-05 19:38:56 | admin | set | status: new -> immediate |
| 2025-11-05 17:01:08 | admin | set | messages: + msg15516 |
| 2025-11-05 00:00:00 | admin | create | |