ad static_assert for async_construct to have a set_value(handle) comp…

…letion
NVIDIA · May 25, 2024 · 2909810 · 2909810
1 parent 55dc3de
commit 2909810
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/exec/async_object.hpp b/include/exec/async_object.hpp
@@ -31,6 +31,7 @@ struct async_construct_t {
     using __construct = decltype(((_O&&)__o).async_construct(__stg, ((_An&&)__an)...));
     static_assert(!stdexec::same_as<__construct, void>, "async_construct must not return void");
     static_assert(stdexec::__single_typed_sender<__construct>, "async_construct must return a sender with a single set_value overload");
+    static_assert(stdexec::sender_of<__construct, stdexec::set_value_t(typename std::remove_cvref_t<_O>::handle)>, "async_construct must return a sender that completes with set_value(handle)");
     return ((_O&&)__o).async_construct(__stg, ((_An&&)__an)...);
   }
   template<class _O, class _Stg, class... _An>