|  | Home | Libraries | People | FAQ | More | 
A customisation point that applies a concept-enforcing property to an object.
constexpr unspecified require_concept = unspecified;
        The name require_concept denotes a customization point object.
        The expression boost::asio::require_concept(E, P) for some subexpressions
        E and P (with types T = decay_t<decltype(E)>
        and Prop = decay_t<decltype(P)>) is expression-equivalent
        to:
      
is_applicable_property_v<T, Prop> && Prop::is_requirable_concept
            is not a well-formed constant expression with value true,
            boost::asio::require_concept(E, P) is ill-formed.
          E if the expression Prop::template static_query_v<T>
            == Prop::value() is a well-formed constant expression with value
            true.
          (E).require_concept(P) if the expression (E).require_concept(P)
            is well-formed.
          require_concept(E, P) if the expression require_concept(E,
            P) is a valid expression with overload resolution performed in
            a context that does not include the declaration of the require_concept
            customization point object.
          boost::asio::require_concept(E, P) is ill-formed.
          
        Header: boost/asio/require_concept.hpp
      
        Convenience header: boost/asio.hpp