The execution::is_nothrow_receiver_of trait detects whether a type T satisfies the execution::receiver_of concept for some set of value arguments, with a noexcept set_value operation.

template<
    typename T,
    typename... Vs>
struct is_nothrow_receiver_of

Class template is_nothrow_receiver_of is a type trait that is derived from true_type if the type T meets the concept definition for a receiver for value arguments Vs, and the expression execution::set_value(declval<T>(), declval<Ts>()...) is noexcept, otherwise false_type.

Requirements

Header: asio/execution/receiver.hpp

Convenience header: asio/execution.hpp