diff --git a/test/Jamfile b/test/Jamfile index e7f018d..0404169 100644 --- a/test/Jamfile +++ b/test/Jamfile @@ -151,6 +151,7 @@ run mp_with_index.cpp ; run mp_with_index_cx.cpp ; run mp_from_sequence.cpp ; run mp_from_sequence_2.cpp ; +run mp_from_sequence_3.cpp ; run mp_min_element.cpp ; run mp_min_element_2.cpp ; run mp_min_element_q.cpp ; diff --git a/test/mp_from_sequence_3.cpp b/test/mp_from_sequence_3.cpp new file mode 100644 index 0000000..6aba978 --- /dev/null +++ b/test/mp_from_sequence_3.cpp @@ -0,0 +1,26 @@ +// Copyright 2017, 2025 Peter Dimov +// Distributed under the Boost Software License, Version 1.0. +// https://www.boost.org/LICENSE_1_0.txt + +#include +#include +#include + +template struct S; + +enum class E { one, two, three }; + +template using constant = std::integral_constant; + +int main() +{ + using boost::mp11::mp_list; + using boost::mp11::mp_from_sequence; + + BOOST_TEST_TRAIT_TRUE((std::is_same>, mp_list<>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same>, mp_list>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same>, mp_list, constant>>)); + BOOST_TEST_TRAIT_TRUE((std::is_same>, mp_list, constant, constant>>)); + + return boost::report_errors(); +}