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

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions