From a768587c7da45ad6b24d2599088b42be11056150 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Wed, 31 May 2017 07:22:31 +0300
Subject: [PATCH] g++6 doesn't like mp_any either

---
 include/boost/mp11/function.hpp |  2 +-
 test/mp_any.cpp                 | 14 ++++++++++++--
 2 files changed, 13 insertions(+), 3 deletions(-)

diff --git a/include/boost/mp11/function.hpp b/include/boost/mp11/function.hpp
index 7c99b4a..6def486 100644
--- a/include/boost/mp11/function.hpp
+++ b/include/boost/mp11/function.hpp
@@ -132,7 +132,7 @@ template<class T1, class... T> struct mp_or_impl<T1, T...>
 } // namespace detail
 
 // mp_any<T...>
-#if defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS )
+#if defined( BOOST_MP11_HAS_FOLD_EXPRESSIONS ) && !BOOST_WORKAROUND( BOOST_GCC, < 70000 )
 
 template<class... T> using mp_any = mp_bool<(static_cast<bool>(T::value) || ...)>;
 
diff --git a/test/mp_any.cpp b/test/mp_any.cpp
index 53f5574..6239bb2 100644
--- a/test/mp_any.cpp
+++ b/test/mp_any.cpp
@@ -13,8 +13,14 @@
 #include <type_traits>
 
 using boost::mp11::mp_any;
+using boost::mp11::mp_all;
 
-template<class... T> using check = mp_any<std::is_nothrow_copy_constructible<T>..., mp_any<std::is_nothrow_move_constructible<T>...>>;
+template<class... T> using check1 = mp_any<std::is_nothrow_copy_constructible<T>..., mp_any<std::is_nothrow_move_constructible<T>...>>;
+template<class... T> using check2 = mp_any<mp_any<std::is_nothrow_copy_constructible<T>...>, std::is_nothrow_move_constructible<T>...>;
+template<class... T> using check3 = mp_any<mp_all<std::is_nothrow_copy_constructible<T>...>, std::is_nothrow_default_constructible<T>...>;
+
+template<bool is_trivially_destructible, bool is_single_buffered, class... T> struct variant_base_impl {};
+template<class... T> using variant_base = variant_base_impl<mp_all<std::is_trivially_destructible<T>...>::value, mp_any<mp_all<std::is_nothrow_move_constructible<T>...>, std::is_nothrow_default_constructible<T>...>::value, T...>;
 
 int main()
 {
@@ -61,7 +67,11 @@ int main()
     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_any<mp_size_t<0>, mp_int<0>, mp_false, mp_size_t<141>>, mp_true>));
     BOOST_TEST_TRAIT_TRUE((std::is_same<mp_any<mp_size_t<0>, mp_int<0>, mp_false>, mp_false>));
 
-    BOOST_TEST_TRAIT_TRUE((std::is_same<check<void, int, float>, mp_true>));
+    BOOST_TEST_TRAIT_TRUE((std::is_same<check1<void, int, float>, mp_true>));
+    BOOST_TEST_TRAIT_TRUE((std::is_same<check2<void, int, float>, mp_true>));
+    BOOST_TEST_TRAIT_TRUE((std::is_same<check3<void, int, float>, mp_true>));
+
+    variant_base<void, int, float>();
 
     return boost::report_errors();
 }