]>
git.proxmox.com Git - ceph.git/blob - ceph/src/boost/libs/mp11/test/mp_pop_front.cpp
2 // Copyright 2015 Peter Dimov.
4 // Distributed under the Boost Software License, Version 1.0.
6 // See accompanying file LICENSE_1_0.txt or copy at
7 // http://www.boost.org/LICENSE_1_0.txt
10 #include <boost/core/lightweight_test_trait.hpp>
11 #include <boost/mp11/list.hpp>
12 #include <type_traits>
18 using boost::mp11::mp_list
;
19 using boost::mp11::mp_pop_front
;
20 using boost::mp11::mp_rest
;
22 using L1
= mp_list
<void>;
23 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_pop_front
<L1
>, mp_list
<>>));
24 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rest
<L1
>, mp_list
<>>));
26 using L2
= mp_list
<int[], void(), float>;
27 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_pop_front
<L2
>, mp_list
<void(), float>>));
28 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rest
<L2
>, mp_list
<void(), float>>));
30 using L3
= std::tuple
<int>;
31 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_pop_front
<L3
>, std::tuple
<>>));
32 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rest
<L3
>, std::tuple
<>>));
34 using L4
= std::tuple
<char, double>;
35 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_pop_front
<L4
>, std::tuple
<double>>));
36 BOOST_TEST_TRAIT_TRUE((std::is_same
<mp_rest
<L4
>, std::tuple
<double>>));
38 return boost::report_errors();