// // cpp03/can_require_not_applicable_static.cpp // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ // // Copyright (c) 2003-2024 Christopher M. Kohlhoff (chris at kohlhoff dot com) // // Distributed under the Boost Software License, Version 1.0. (See accompanying // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) // #include "asio/require.hpp" #include template struct prop { static const bool is_requirable = true; }; template struct object { }; namespace asio { namespace traits { template struct static_require, prop > { static const bool is_valid = true; }; } // namespace traits } // namespace asio int main() { assert((!asio::can_require, prop<1> >::value)); assert((!asio::can_require, prop<1>, prop<1> >::value)); assert((!asio::can_require, prop<1>, prop<1>, prop<1> >::value)); assert((!asio::can_require, prop<1> >::value)); assert((!asio::can_require, prop<1>, prop<1> >::value)); assert((!asio::can_require, prop<1>, prop<1>, prop<1> >::value)); }