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/assert.hpp> 6 #include <boost/hana/core/make.hpp> 7 #include <boost/hana/equal.hpp> 8 #include <boost/hana/type.hpp> 9 namespace hana = boost::hana; 10 11 12 struct X { }; 13 BOOST_HANA_CONSTANT_CHECK(hana::make<hana::type_tag>(X{}) == hana::type_c<X>); 14 BOOST_HANA_CONSTANT_CHECK(hana::make<hana::type_tag>(hana::type_c<X>) == hana::type_c<X>); 15 16 BOOST_HANA_CONSTANT_CHECK(hana::make_type(X{}) == hana::type_c<X>); 17 BOOST_HANA_CONSTANT_CHECK(hana::make_type(hana::type_c<X>) == hana::type_c<X>); 18 main()19int main() { } 20