From 00080252bf3ebd84e9edfc52cc638d288391fe7b Mon Sep 17 00:00:00 2001 From: John Eivind Helset Date: Tue, 7 Oct 2025 17:26:31 +0200 Subject: [PATCH] Fix constraint on `__optional::__emplace_from`. The `_Args` template parameter pack is currently not passed to the `__optional<_Tp>::__emplace_from` constraint that checks that the return-type of invoking `_Fn` with `_Args...` is `_Tp`. --- include/stdexec/__detail/__optional.hpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/stdexec/__detail/__optional.hpp b/include/stdexec/__detail/__optional.hpp index 164d1c00b..bcfa382c6 100644 --- a/include/stdexec/__detail/__optional.hpp +++ b/include/stdexec/__detail/__optional.hpp @@ -106,7 +106,7 @@ namespace stdexec { } template - requires same_as<_Tp, __call_result_t<_Fn>> + requires same_as<_Tp, __call_result_t<_Fn, _Args...>> auto __emplace_from(_Fn&& __f, _Args&&... __args) noexcept(__nothrow_callable<_Fn, _Args...>) -> _Tp& { reset();