| 1 | |
|---|
| 2 | // Copyright 2017 Peter Dimov. |
|---|
| 3 | // |
|---|
| 4 | // Distributed under the Boost Software License, Version 1.0. |
|---|
| 5 | // |
|---|
| 6 | // See accompanying file LICENSE_1_0.txt or copy at |
|---|
| 7 | // http://www.boost.org/LICENSE_1_0.txt |
|---|
| 8 | |
|---|
| 9 | |
|---|
| 10 | #include <boost/mp11/utility.hpp> |
|---|
| 11 | #include <boost/mp11/integral.hpp> |
|---|
| 12 | #include <boost/core/lightweight_test_trait.hpp> |
|---|
| 13 | #include <type_traits> |
|---|
| 14 | |
|---|
| 15 | int main() |
|---|
| 16 | { |
|---|
| 17 | using boost::mp11::mp_cond; |
|---|
| 18 | using boost::mp11::mp_true; |
|---|
| 19 | using boost::mp11::mp_false; |
|---|
| 20 | |
|---|
| 21 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_true, char[]>, char[]>)); |
|---|
| 22 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_true, char[], void>, char[]>)); |
|---|
| 23 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_true, char[], void, void>, char[]>)); |
|---|
| 24 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_true, char[], void, void, void>, char[]>)); |
|---|
| 25 | |
|---|
| 26 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_true, char[]>, char[]>)); |
|---|
| 27 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_true, char[], void>, char[]>)); |
|---|
| 28 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_true, char[], void, void>, char[]>)); |
|---|
| 29 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_true, char[], void, void, void>, char[]>)); |
|---|
| 30 | |
|---|
| 31 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_true, char[]>, char[]>)); |
|---|
| 32 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_true, char[], void>, char[]>)); |
|---|
| 33 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_true, char[], void, void>, char[]>)); |
|---|
| 34 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_true, char[], void, void, void>, char[]>)); |
|---|
| 35 | |
|---|
| 36 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_false, double, mp_true, char[]>, char[]>)); |
|---|
| 37 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_false, double, mp_true, char[], void>, char[]>)); |
|---|
| 38 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_false, double, mp_true, char[], void, void>, char[]>)); |
|---|
| 39 | BOOST_TEST_TRAIT_TRUE((std::is_same<mp_cond<mp_false, int, mp_false, float, mp_false, double, mp_true, char[], void, void, void>, char[]>)); |
|---|
| 40 | |
|---|
| 41 | return boost::report_errors(); |
|---|
| 42 | } |
|---|
| 43 | |
|---|
