ceph/src/boost/libs/hana/example/core/tag_of.cpp

   1 // Copyright Louis Dionne 2013-2017
   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/core/tag_of.hpp>
   6
   7 #include <type_traits>
   8 namespace hana = boost::hana;
   9
  10
  11 static_assert(std::is_same<hana::tag_of<int>::type, int>{}, "");
  12 static_assert(std::is_same<hana::tag_of<int&>::type, int>{}, "");
  13 static_assert(std::is_same<hana::tag_of<int const&>::type, int>{}, "");
  14
  15 struct PersonTag;
  16 struct Person { using hana_tag = PersonTag; };
  17 static_assert(std::is_same<hana::tag_of<Person>::type, PersonTag>{}, "");
  18 static_assert(std::is_same<hana::tag_of<Person volatile&&>::type, PersonTag>{}, "");
  19
  20 int main() { }