Apply suggestions from code review

ericniebler · web-flow · commit 161b336d821f · 2026-05-19T17:09:58.000-07:00
Co-authored-by: Eric Niebler &lt;eniebler@boost.org&gt;
diff --git a/test/stdexec/algos/adaptors/test_write_env.cpp b/test/stdexec/algos/adaptors/test_write_env.cpp
@@ -21,6 +21,7 @@
 #include <type_traits>
 #include <utility>
 
+#include <exec/completion_signatures.hpp>
 #include <exec/single_thread_context.hpp>
 #include <stdexec/execution.hpp>
 #include <test_common/receivers.hpp>
@@ -70,7 +71,7 @@ namespace
     ::STDEXEC::start(op);
   }
 
-  template <typename IncompleteType, typename Env = STDEXEC::env_of_t<IncompleteType>>
+  template <class IncompleteType, class Env = STDEXEC::env_of_t<IncompleteType>>
   struct ReceiverIncomplete
   {
     using receiver_concept = STDEXEC::receiver_tag;
@@ -130,9 +131,8 @@ namespace
 
     template <class Self, class... Env>
     static consteval auto get_completion_signatures()
-      -> STDEXEC::__completion_signatures_of_t<STDEXEC::__copy_cvref_t<Self, Sndr>, Env...>
     {
-      return {};
+      return exec::get_child_completion_signatures<Self, Sndr, Env...>();
     }
 
     template <STDEXEC::receiver Rcvr>

Original file line number	Diff line number	Diff line change
`@@ -21,6 +21,7 @@`
`21`	`21`	`#include <type_traits>`
`22`	`22`	`#include <utility>`
`23`	`23`
	`24`	`+#include <exec/completion_signatures.hpp>`
`24`	`25`	`#include <exec/single_thread_context.hpp>`
`25`	`26`	`#include <stdexec/execution.hpp>`
`26`	`27`	`#include <test_common/receivers.hpp>`
`@@ -70,7 +71,7 @@ namespace`
`70`	`71`	`::STDEXEC::start(op);`
`71`	`72`	`}`
`72`	`73`
`73`		`- template <typename IncompleteType, typename Env = STDEXEC::env_of_t<IncompleteType>>`
	`74`	`+ template <class IncompleteType, class Env = STDEXEC::env_of_t<IncompleteType>>`
`74`	`75`	`struct ReceiverIncomplete`
`75`	`76`	`{`
`76`	`77`	`using receiver_concept = STDEXEC::receiver_tag;`
`@@ -130,9 +131,8 @@ namespace`
`130`	`131`
`131`	`132`	`template <class Self, class... Env>`
`132`	`133`	`static consteval auto get_completion_signatures()`
`133`		`- -> STDEXEC::__completion_signatures_of_t<STDEXEC::__copy_cvref_t<Self, Sndr>, Env...>`
`134`	`134`	`{`
`135`		`- return {};`
	`135`	`+ return exec::get_child_completion_signatures<Self, Sndr, Env...>();`
`136`	`136`	`}`
`137`	`137`
`138`	`138`	`template <STDEXEC::receiver Rcvr>`