ceph/src/boost/libs/hana/test/type/nested_type.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/type.hpp>
   6
   7 #include <type_traits>
   8 namespace hana = boost::hana;
   9
  10
  11 // Makes sure that `hana::type`s have a nested ::type alias
  12
  13 struct T;
  14
  15 static_assert(std::is_same<decltype(hana::type_c<T>)::type, T>{}, "");
  16 static_assert(std::is_same<hana::type<T>::type, T>{}, "");
  17
  18 int main() { }