mp_set_difference_sf.cpp 1.3 KB

123456789101112131415161718192021222324252627282930313233
  1. // Copyright 2019 Peter Dimov.
  2. //
  3. // Distributed under the Boost Software License, Version 1.0.
  4. //
  5. // See accompanying file LICENSE_1_0.txt or copy at
  6. // http://www.boost.org/LICENSE_1_0.txt
  7. #include <boost/mp11/set.hpp>
  8. #include <boost/mp11/utility.hpp>
  9. #include <boost/core/lightweight_test_trait.hpp>
  10. int main()
  11. {
  12. using boost::mp11::mp_set_difference;
  13. using boost::mp11::mp_valid;
  14. using boost::mp11::mp_list;
  15. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference>));
  16. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, void>));
  17. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, void, void>));
  18. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, void, void, void>));
  19. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, void, void, void, void>));
  20. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, void, void, void, void, void>));
  21. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, mp_list<>, void>));
  22. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, mp_list<>, mp_list<>, void>));
  23. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, mp_list<>, mp_list<>, mp_list<>, void>));
  24. BOOST_TEST_TRAIT_FALSE((mp_valid<mp_set_difference, mp_list<>, mp_list<>, mp_list<>, mp_list<>, void>));
  25. return boost::report_errors();
  26. }