From 09e692b3dde26f69f4514ade7cc84feea73d7baa Mon Sep 17 00:00:00 2001 From: ericniebler Date: Fri, 28 Jun 2024 15:54:05 +0000 Subject: [PATCH] Publish: Merge pull request #260 from cplusplus/last-last-edits final edits fr 02b2b99e180243b4690823d027b451298eb0a1e8 --- execution.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/execution.html b/execution.html index 9897d8b..f66575d 100644 --- a/execution.html +++ b/execution.html @@ -7540,7 +7540,7 @@

... can be explicitly started once at most.

  • -

    ... once started started, eventually completes exactly once with a (possibly empty) set +

    ... once started, eventually completes exactly once with a (possibly empty) set of result datums and in exactly one of three dispositions: success, failure, or cancellation.

      @@ -7617,7 +7617,7 @@

      sends its results by way of the asynchronous operation(s) it produces, and a receiver receives those results. A sender is either valid or invalid; it becomes invalid when its parent sender (see below) becomes invalid.

      @@ -9738,15 +9738,15 @@
      on denotes a pipeable sender adaptor object. For subexpressions sch and sndr, on(sch, sndr) is ill-formed if any of the following -are true:

      +is true:

      • -

        If decltype((sch)) does not satisfy scheduler, or

        +

        decltype((sch)) does not satisfy scheduler, or

      • -

        If decltype((sndr)) does not satisfy sender and sndr is not +

        decltype((sndr)) does not satisfy sender and sndr is not a pipeable sender adaptor closure object ([exec.adapt.objects]), or

      • -

        If decltype((sndr)) satisfies sender and sndr is also +

        decltype((sndr)) satisfies sender and sndr is also a pipeable sender adaptor closure object.