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

   1 //
   2 // cpp14/can_require_concept_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_concept.hpp>
  12 #include <cassert>
  13
  14 template <int>
  15 struct prop
  16 {
  17   static constexpr bool is_requirable_concept = true;
  18   template <typename> static constexpr bool static_query_v = true;
  19   static constexpr bool value() { return true; }
  20 };
  21
  22 template <int>
  23 struct object
  24 {
  25 };
  26
  27 int main()
  28 {
  29   static_assert(!boost::asio::can_require_concept_v<object<1>, prop<2>>, "");
  30   static_assert(!boost::asio::can_require_concept_v<const object<1>, prop<2>>, "");
  31 }