From 3c18ded3aabb8a7d259e21529e89108eae123cb7 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Fri, 9 Jun 2017 04:17:06 +0300
Subject: [PATCH] Check is_move_constructible, is_move_assignable

---
 include/boost/variant2/variant.hpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/include/boost/variant2/variant.hpp b/include/boost/variant2/variant.hpp
index 5ddda9b..e1c715b 100644
--- a/include/boost/variant2/variant.hpp
+++ b/include/boost/variant2/variant.hpp
@@ -361,7 +361,7 @@ template<class T1, class... T> union variant_storage_impl<mp_true, T1, T...>
     {
 #if defined( BOOST_LIBSTDCXX_VERSION ) && BOOST_LIBSTDCXX_VERSION < 50000
 
-        this->emplace_impl( mp_all<std::has_trivial_copy_assign<T1>, std::has_trivial_copy_assign<T>...>(), mp_size_t<I>(), std::forward<A>(a)... );
+        this->emplace_impl( mp_all<std::has_trivial_copy_assign<T1>, std::is_move_assignable<T1>, std::has_trivial_copy_assign<T>..., std::is_move_assignable<T>...>(), mp_size_t<I>(), std::forward<A>(a)... );
 
 #else
 
@@ -505,7 +505,7 @@ template<class... T> struct variant_base_impl<true, true, T...>
 
 #if defined( BOOST_LIBSTDCXX_VERSION ) && BOOST_LIBSTDCXX_VERSION < 50000
 
-        this->emplace_impl<J, U>( std::is_nothrow_constructible<U, A...>(), mp_all<std::has_trivial_copy_constructor<U>, std::has_trivial_copy_assign<T>...>(), std::forward<A>(a)... );
+        this->emplace_impl<J, U>( std::is_nothrow_constructible<U, A...>(), mp_all<std::has_trivial_copy_constructor<U>, std::is_move_constructible<U>, std::has_trivial_copy_assign<T>..., std::is_move_assignable<T>...>(), std::forward<A>(a)... );
 
 #else