ceph/src/boost/libs/asio/test/properties/cpp11/can_require_not_applicable_static.cpp

   1 //
   2 // cpp11/can_require_not_applicable_static.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   static constexpr bool is_requirable = true;
  18 };
  19
  20 template <int>
  21 struct object
  22 {
  23 };
  24
  25 namespace boost {
  26 namespace asio {
  27 namespace traits {
  28
  29 template<int N>
  30 struct static_require<object<N>, prop<N> >
  31 {
  32   static constexpr bool is_valid = true;
  33 };
  34
  35 } // namespace traits
  36 } // namespace asio
  37 } // namespace boost
  38
  39 int main()
  40 {
  41   static_assert(!boost::asio::can_require<object<1>, prop<1>>::value, "");
  42   static_assert(!boost::asio::can_require<object<1>, prop<1>, prop<1>>::value, "");
  43   static_assert(!boost::asio::can_require<object<1>, prop<1>, prop<1>, prop<1>>::value, "");
  44   static_assert(!boost::asio::can_require<const object<1>, prop<1>>::value, "");
  45   static_assert(!boost::asio::can_require<const object<1>, prop<1>, prop<1>>::value, "");
  46   static_assert(!boost::asio::can_require<const object<1>, prop<1>, prop<1>, prop<1>>::value, "");
  47 }