test_env.cpp

Go to the documentation of this file.

#include "gtest/gtest.h"
 
#include "kokkos-execution/stdexec.hpp"

 
namespace Tests::Impl {
 
constexpr struct PropA : public stdexec::__query<PropA> {
} prop_a{};
 
constexpr struct FwdPropC
    : public stdexec::__query<FwdPropC>
    , stdexec::forwarding_query_t {
    using stdexec::__query<FwdPropC>::operator();
} fwd_prop_c{};

TEST(forwarding, queryable) {
    static_assert([]() {
        auto env = stdexec::env{
            stdexec::prop{    prop_a, 123},
            stdexec::prop{fwd_prop_c, 123}
        };
 
        static_assert(stdexec::__queryable_with<decltype(env), PropA>);
        static_assert(stdexec::__queryable_with<decltype(env), FwdPropC>);
 
        const auto fwd_env = stdexec::__fwd_env(stdexec::__fwd_env(env));
 
        static_assert(
            std::same_as<
                std::remove_const_t<decltype(fwd_env)>,
                stdexec::__env::__fwd<
                    stdexec::env<stdexec::prop<Tests::Impl::PropA, int>, stdexec::prop<Tests::Impl::FwdPropC, int>>&
                >
            >);
 
        static_assert(!stdexec::__queryable_with<decltype(fwd_env), PropA>);
        static_assert(stdexec::__queryable_with<decltype(fwd_env), FwdPropC>);
 
        return true;
    }());
}
 
} // namespace Tests::Impl