[exec.when.all] arrive and complete are exposition-only

jensmaurer · jensmaurer · commit 7a7b43c39230 · 2024-07-17T17:03:37.000+02:00
diff --git a/source/exec.tex b/source/exec.tex
@@ -4108,13 +4108,13 @@
     using stop_callback = stop_callback_of_t<stop_token_of_t<env_of_t<Rcvr>>, @\exposid{on-stop-request}@>;
 
     struct @\exposid{state-type}@ {
-      void @\exposid{arrive}@(Rcvr& rcvr) noexcept {
+      void @\exposid{arrive}@(Rcvr& rcvr) noexcept {                        // \expos
         if (0 == --count) {
           @\exposid{complete}@(rcvr);
         }
       }
 
-      void @\exposid{complete}@(Rcvr& rcvr) noexcept;   // \seebelow
+      void @\exposid{complete}@(Rcvr& rcvr) noexcept;                       // \expos
 
       atomic<size_t> @\exposid{count}@{sizeof...(sndrs)};                   // \expos
       inplace_stop_source @\exposid{stop_src}@{};                           // \expos

Original file line number	Diff line number	Diff line change
`@@ -4108,13 +4108,13 @@`
`4108`	`4108`	`using stop_callback = stop_callback_of_t<stop_token_of_t<env_of_t<Rcvr>>, @\exposid{on-stop-request}@>;`
`4109`	`4109`
`4110`	`4110`	`struct @\exposid{state-type}@ {`
`4111`		`- void @\exposid{arrive}@(Rcvr& rcvr) noexcept {`
	`4111`	`+ void @\exposid{arrive}@(Rcvr& rcvr) noexcept { // \expos`
`4112`	`4112`	`if (0 == --count) {`
`4113`	`4113`	`@\exposid{complete}@(rcvr);`
`4114`	`4114`	`}`
`4115`	`4115`	`}`
`4116`	`4116`
`4117`		`- void @\exposid{complete}@(Rcvr& rcvr) noexcept; // \seebelow`
	`4117`	`+ void @\exposid{complete}@(Rcvr& rcvr) noexcept; // \expos`
`4118`	`4118`
`4119`	`4119`	`atomic<size_t> @\exposid{count}@{sizeof...(sndrs)}; // \expos`
`4120`	`4120`	`inplace_stop_source @\exposid{stop_src}@{}; // \expos`