Skip to content

incomplete edit in [exec.when.all] p5 #348

@ericniebler

Description

@ericniebler

[exec.when.all] has the following:

  1. Let make-when-all-env be the following exposition-only function template:

    template<class Env>
    constexpr auto make-when-all-env(inplace_stop_source& stop_src,     // exposition only
                                     Env&& env) noexcept {
      return see below;
    }

Returns an object e such that

  • 5.1 decltype(e) models queryable, and

  • 5.2 e.query(get_stop_token) is expression-equivalent to state.stop-src.get_token(), and

  • 5.3 given a query object q with type other than cv get_stop_token_t and whose type
    satisfies forwarding-​query, e.query(q) is expression-equivalent to get_env(rcvr).query(q).

the problem is the reference to get_env(rcvr) in 5.3. there is no rcvr here. it should be referring instead to the env parameter.

Proposed Resolution

Change [exec.when.all] p5.3 to read as follows:

  • 5.3 given a query object q with type other than cv get_stop_token_t and whose type
    satisfies forwarding-​query, e.query(q) is expression-equivalent to env.query(q).

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions