-
Notifications
You must be signed in to change notification settings - Fork 5
Open
Labels
P2bugSomething isn't workingSomething isn't workingpending-wg21A paper or an LWG issue exitsA paper or an LWG issue exits
Description
[exec.inline.scheduler]/p3.2 reads
- 3.2 the expression
get_completion_scheduler<set_value_t>(get_env(sndr))has typeinline_schedulerand is potentially-throwing if and only ifget_env(sndr)is potentially-throwing.
get_env(sndr) is never potentially-throwing because it mandates that sndr.get_env() cannot throw. See [exec.get.env].
also, get_completion_scheduler<set_*_t>(attrs) mandates that attrs.query(get_completion_scheduler<set_*_t>) cannot throw.
Proposed resolution
Change [exec.inline.scheduler]/p3.2 as follows:
- 3.2 the expression
get_completion_scheduler<set_value_t>(get_env(sndr))has typeinline_schedulerand is potentially-throwing if and only if.get_env(sndr)is potentially-throwing
Metadata
Metadata
Assignees
Labels
P2bugSomething isn't workingSomething isn't workingpending-wg21A paper or an LWG issue exitsA paper or an LWG issue exits