property_with_value

template<class _Property>
constexpr bool cuda::property_with_value = _CCCL_REQUIRES_EXPR((_Property))(typename(__property_value_t<_Property>))

The property_with_value concept verifies that a Property is stateful and signals this through the value_type alias.

struct stateless_property {};
static_assert(!cuda::property_with_value<stateless_property>);

struct stateful_property { using value_type = int; };
static_assert(!cuda::property_with_value<stateful_property>);