File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -378,10 +378,14 @@ namespace stdexec {
378378 concept __nothrow_queryable = nothrow_tag_invocable<_Query, const _Env&, _Args...>;
379379
380380 template <class _Env , class _Query , class ... _Args>
381- concept __statically_queryable = __queryable<_Env, _Query, _Args...> && requires {
382- std::remove_reference_t <_Env>::query (std::declval<_Query>(), std::declval <_Args>( )...);
381+ concept __statically_queryable_i = requires ( _Query __q , _Args&& ... __args) {
382+ std::remove_reference_t <_Env>::query (__q, static_cast <_Args &&>(__args )...);
383383 };
384384
385+ template <class _Env , class _Query , class ... _Args>
386+ concept __statically_queryable = __queryable<_Env, _Query, _Args...>
387+ && __statically_queryable_i<_Env, _Query, _Args...>;
388+
385389 template <class _Env , class _Query , class ... _Args>
386390 using __query_result_t = tag_invoke_result_t <_Query, const _Env&, _Args...>;
387391
You can’t perform that action at this time.
0 commit comments