From 1506f05fbb87a9de49d881b71fc00e62c5a53423 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Wed, 31 May 2017 17:29:52 +0300
Subject: [PATCH] g++ 4.7 doesn't have is_nothrow_destructible either

---
 test/mp_any.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/mp_any.cpp b/test/mp_any.cpp
index 4e236d7..4780ea9 100644
--- a/test/mp_any.cpp
+++ b/test/mp_any.cpp
@@ -21,7 +21,7 @@ template<class... T> using check3 = mp_any<mp_all<std::is_nothrow_copy_construct
 
 template<bool is_trivially_destructible, bool is_single_buffered, class... T> struct variant_base_impl {};
 #if BOOST_WORKAROUND( BOOST_GCC, < 40800 )
-template<class... T> using variant_base = variant_base_impl<mp_all<std::is_nothrow_destructible<T>...>::value, mp_any<mp_all<std::is_nothrow_move_constructible<T>...>, std::is_nothrow_default_constructible<T>...>::value, T...>;
+template<class... T> using variant_base = variant_base_impl<mp_all<std::has_trivial_destructor<T>...>::value, mp_any<mp_all<std::is_nothrow_move_constructible<T>...>, std::is_nothrow_default_constructible<T>...>::value, T...>;
 #else
 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...>;
 #endif