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/equal.hpp> 7 #include <boost/hana/type.hpp> 8 namespace hana = boost::hana; 9 10 11 struct X { }; 12 BOOST_HANA_CONSTANT_CHECK(hana::decltype_(X{}) == hana::type_c<X>); 13 BOOST_HANA_CONSTANT_CHECK(hana::decltype_(hana::type_c<X>) == hana::type_c<X>); 14 15 BOOST_HANA_CONSTANT_CHECK(hana::decltype_(1) == hana::type_c<int>); 16 17 static int const& i = 1; 18 BOOST_HANA_CONSTANT_CHECK(hana::decltype_(i) == hana::type_c<int const>); 19 main()20int main() { } 21