ceph/src/boost/libs/asio/test/properties/cpp14/can_require_unsupported.cpp

   1 //
   2 // cpp14/can_require_unsupported.cpp
   3 // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   4 //
   5 // Copyright (c) 2003-2022 Christopher M. Kohlhoff (chris at kohlhoff dot com)
   6 //
   7 // Distributed under the Boost Software License, Version 1.0. (See accompanying
   8 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   9 //
  10
  11 #include <boost/asio/require.hpp>
  12 #include <cassert>
  13
  14 template <int>
  15 struct prop
  16 {
  17 };
  18
  19 template <int>
  20 struct object
  21 {
  22 };
  23
  24 namespace boost {
  25 namespace asio {
  26
  27 template<int N, int M>
  28 struct is_applicable_property<object<N>, prop<M> >
  29 {
  30   static constexpr bool value = true;
  31 };
  32
  33 } // namespace asio
  34 } // namespace boost
  35
  36 int main()
  37 {
  38   static_assert(!boost::asio::can_require_v<object<1>, prop<2>>, "");
  39   static_assert(!boost::asio::can_require_v<object<1>, prop<2>, prop<3>>, "");
  40   static_assert(!boost::asio::can_require_v<object<1>, prop<2>, prop<3>, prop<4>>, "");
  41   static_assert(!boost::asio::can_require_v<const object<1>, prop<2>>, "");
  42   static_assert(!boost::asio::can_require_v<const object<1>, prop<2>, prop<3>>, "");
  43   static_assert(!boost::asio::can_require_v<const object<1>, prop<2>, prop<3>, prop<4>>, "");
  44 }