Merge pull request #1897 from ericniebler/fix-as-awaitable

ericniebler · web-flow · commit abcd38ae9d40 · 2026-02-25T11:42:59.000-08:00
remove static_assert causing `as_awaitable` to recurse
diff --git a/include/stdexec/__detail/__as_awaitable.hpp b/include/stdexec/__detail/__as_awaitable.hpp
@@ -285,8 +285,6 @@ namespace STDEXEC
       using namespace __as_awaitable;
       if constexpr (__connect_await::__has_as_awaitable_member<_Tp, _Promise>)
       {
-        using __result_t = decltype(static_cast<_Tp&&>(__t).as_awaitable(__promise));
-        static_assert(__awaitable<__result_t, _Promise>);
         return static_cast<_Tp&&>(__t).as_awaitable(__promise);
       }
       else if constexpr (__awaitable<_Tp, __unspecified>)  // NOT __awaitable<_Tp, _Promise> !!

Original file line number	Diff line number	Diff line change
`@@ -285,8 +285,6 @@ namespace STDEXEC`
`285`	`285`	`using namespace __as_awaitable;`
`286`	`286`	`if constexpr (__connect_await::__has_as_awaitable_member<_Tp, _Promise>)`
`287`	`287`	`{`
`288`		`- using __result_t = decltype(static_cast<_Tp&&>(__t).as_awaitable(__promise));`
`289`		`- static_assert(__awaitable<__result_t, _Promise>);`
`290`	`288`	`return static_cast<_Tp&&>(__t).as_awaitable(__promise);`
`291`	`289`	`}`
`292`	`290`	`else if constexpr (__awaitable<_Tp, __unspecified>) // NOT __awaitable<_Tp, _Promise> !!`