-
Notifications
You must be signed in to change notification settings - Fork 5
Open
Labels
P1bugSomething isn't workingSomething isn't workingpending-wg21A paper or an LWG issue exitsA paper or an LWG issue exits
Description
The child senders should only see the parent's queries if they are forwarding queries.
Proposed resolution
Change [exec.let] para 6 as follows:
Let
receiver2denote the following exposition-only class template:namespace std::execution { ... as before ... }Invocation of the function
receiver2::get_envreturns an objectesuch that
decltype(e)modelsqueryableandgiven a query object
q, the expressione.query(q)is expression-equivalent
toenv.query(q)if that expression is valid,; otherwise,
if the type ofqsatisfiesforwarding-query,e.query(q)
is expression-equivalent toget_env(rcvr).query(q); otherwise,e.query(q)
is ill-formed.
Change para 8 as follows:
- Let Sigs be a pack of the arguments to the
completion_signatures
specialization named bycompletion_signatures_of_t<child-type<Sndr>,. Let
FWD-ENV-T(env_of_t<Rcvr>)>LetSigsbe a pack of those types inSigswith a return
type ofdecayed-typeof<set-cpo>. Letas-tuplebe an alias template such that
as-tuple<Tag(Args...)>denotes the typedecayed-tuple<Args...>. Then
args_variant_tdenotes the typevariant<monostate, as-tuple<LetSigs>...>
except with duplicate types removed.
Metadata
Metadata
Assignees
Labels
P1bugSomething isn't workingSomething isn't workingpending-wg21A paper or an LWG issue exitsA paper or an LWG issue exits