From ddc76cf1113064f2c855fa32f55b8e75d6c4779e Mon Sep 17 00:00:00 2001 From: Eric Niebler Date: Mon, 18 Mar 2024 16:16:21 -0700 Subject: [PATCH] consistency fixes --- execution.bs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/execution.bs b/execution.bs index 88b8c1a..72abe75 100644 --- a/execution.bs +++ b/execution.bs @@ -7407,7 +7407,7 @@ template<class Domain, class Tag, sender Sndr, class... Args>
     template<class Sndr>
-    struct sync-wait-state {
+    struct sync-wait-state { // exposition only
       run_loop loop;
       exception_ptr error;
       sync-wait-result-type<Sndr> result;
@@ -7454,7 +7454,7 @@ template<class Domain, class Tag, sender Sndr, class... Args>
         3. Otherwise, does nothing.
 
 6. For a subexpression `sndr`, let `Sndr` be `decltype((sndr))`. If
-    sender_in<Sndr, sync-wait-env> is `false`, the
+    sender_to<Sndr, sync-wait-receiver<Sndr>> is `false`, the
     expression `sync_wait.apply_sender(sndr)` is ill-formed; otherwise, it is
     equivalent to:
 
@@ -7505,7 +7505,7 @@ template<class Domain, class Tag, sender Sndr, class... Args>
         sync-wait-with-variant-result-type<Sndr>> is `true`,
         where e is the expression above.
 
-9. If sender_in<Sndr, sync-wait-env> is `false`, the
+9. If callable<sync_wait_t, Sndr> is `false`, the
     expression `sync_wait_with_variant.apply_sender(sndr)` is ill-formed.
     Otherwise, it is equivalent to: