ceph/src/boost/libs/hana/test/detail/has_duplicates.cpp

   1 // Copyright Louis Dionne 2013-2016
   2 // Distributed under the Boost Software License, Version 1.0.
   3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   4
   5 #include <boost/hana/detail/has_duplicates.hpp>
   6 #include <boost/hana/integral_constant.hpp>
   7 namespace hana = boost::hana;
   8
   9
  10 static_assert(!hana::detail::has_duplicates<>::value, "");
  11
  12 static_assert(!hana::detail::has_duplicates<
  13     hana::int_<0>
  14 >::value, "");
  15
  16 static_assert(!hana::detail::has_duplicates<
  17     hana::int_<0>, hana::int_<1>
  18 >::value, "");
  19
  20 static_assert(!hana::detail::has_duplicates<
  21     hana::int_<0>, hana::int_<1>, hana::int_<2>
  22 >::value, "");
  23
  24 static_assert(hana::detail::has_duplicates<
  25     hana::int_<0>, hana::int_<0>, hana::int_<2>
  26 >::value, "");
  27
  28 static_assert(hana::detail::has_duplicates<
  29     hana::int_<0>, hana::int_<1>, hana::int_<0>
  30 >::value, "");
  31
  32 static_assert(hana::detail::has_duplicates<
  33     hana::int_<0>, hana::int_<1>, hana::int_<2>, hana::int_<1>
  34 >::value, "");
  35
  36 static_assert(hana::detail::has_duplicates<
  37     hana::int_<0>, hana::int_<1>, hana::int_<2>, hana::int_<2>
  38 >::value, "");
  39
  40 static_assert(hana::detail::has_duplicates<
  41     hana::int_<0>, hana::int_<1>, hana::int_<2>, hana::int_<1>, hana::int_<1>
  42 >::value, "");
  43
  44 static_assert(hana::detail::has_duplicates<
  45     hana::int_<0>, hana::int_<1>, hana::int_<2>, hana::int_<1>, hana::int_<2>
  46 >::value, "");
  47
  48 // Make sure it uses deep equality
  49 static_assert(hana::detail::has_duplicates<
  50     hana::int_<0>, hana::long_<0>, hana::int_<2>, hana::int_<3>
  51 >::value, "");
  52
  53 static_assert(hana::detail::has_duplicates<
  54     hana::int_<0>, hana::int_<1>, hana::int_<2>, hana::long_<1>
  55 >::value, "");
  56
  57 int main() { }