A type trait that determines whether a require_concept expression will not throw.

template<
    typename T,
    typename Property>
struct is_nothrow_require_concept

Class template is_nothrow_require_concept is a trait that is derived from true_type if the expression asio::require_concept(std::declval<T>(), std::declval<Property>()) is noexcept; otherwise false_type.

Requirements

Header: asio/require_concept.hpp

Convenience header: asio.hpp