ceph/src/boost/libs/hana/test/type/inherit_basic_type.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/type.hpp>
   6
   7 #include <type_traits>
   8 namespace hana = boost::hana;
   9
  10
  11 // `hana::type<T>` should inherit `hana::basic_type<T>`.
  12
  13 struct T;
  14 static_assert(std::is_base_of<hana::basic_type<T>, decltype(hana::type_c<T>)>{}, "");
  15 static_assert(std::is_base_of<hana::basic_type<T>, hana::type<T>>{}, "");
  16
  17 int main() { }