### execution::is_nothrow_receiver_of

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`