Add test/variant_value_assign_cx

test/Jamfile

@@ -13,29 +13,43 @@ REQ = ; #[ requires cxx11_variadic_templates cxx11_template_aliases cxx11_declty
 
 run variant_size.cpp : : : $(REQ) ;
 run variant_alternative.cpp : : : $(REQ) ;
+
 run variant_holds_alternative.cpp : : : $(REQ) ;
 compile variant_holds_alternative_cx.cpp : : : $(REQ) ;
+
 run variant_get_by_index.cpp : : : $(REQ) ;
 compile variant_get_by_index_cx.cpp : : : $(REQ) ;
+
 run variant_get_by_type.cpp : : : $(REQ) ;
 compile variant_get_by_type_cx.cpp : : : $(REQ) ;
+
 run variant_default_construct.cpp : : : $(REQ) ;
 compile variant_default_construct_cx.cpp : : : $(REQ) ;
+
 run variant_copy_construct.cpp : : : $(REQ) ;
 run variant_move_construct.cpp : : : $(REQ) ;
+
 run variant_value_construct.cpp : : : $(REQ) ;
 compile variant_value_construct_cx.cpp : : : $(REQ) ;
+
 run variant_in_place_index_construct.cpp : : : $(REQ) ;
 compile variant_in_place_index_construct_cx.cpp : : : $(REQ) ;
+
 run variant_in_place_type_construct.cpp : : : $(REQ) ;
 compile variant_in_place_type_construct_cx.cpp : : : $(REQ) ;
+
 run variant_copy_assign.cpp : : : $(REQ) ;
 run variant_move_assign.cpp : : : $(REQ) ;
+
 run variant_value_assign.cpp : : : $(REQ) ;
+compile variant_value_assign_cx.cpp : : : $(REQ) ;
+
 run variant_emplace_index.cpp : : : $(REQ) ;
 compile variant_emplace_index_cx.cpp : : : $(REQ) ;
+
 run variant_emplace_type.cpp : : : $(REQ) ;
 compile variant_emplace_type_cx.cpp : : : $(REQ) ;
+
 run variant_swap.cpp : : : $(REQ) ;
 run variant_eq_ne.cpp : : : $(REQ) ;
 run variant_destroy.cpp : : : $(REQ) ;

test/variant_value_assign_cx.cpp

@@ -0,0 +1,106 @@
+
+// Copyright 2017 Peter Dimov.
+//
+// Distributed under the Boost Software License, Version 1.0.
+//
+// See accompanying file LICENSE_1_0.txt or copy at
+// http://www.boost.org/LICENSE_1_0.txt
+
+#include <boost/variant2/variant.hpp>
+
+using namespace boost::variant2;
+
+struct X
+{
+    int v;
+    X() = default;
+    constexpr X( int v ): v( v ) {}
+    constexpr operator int() const { return v; }
+};
+
+struct Y
+{
+    int v;
+    constexpr Y(): v() {}
+    constexpr Y( int v ): v( v ) {}
+    constexpr operator int() const { return v; }
+};
+
+enum E
+{
+    v
+};
+
+#define STATIC_ASSERT(...) static_assert(__VA_ARGS__, #__VA_ARGS__)
+
+template<class V, class T, class A> constexpr A test( A const& a )
+{
+    V v;
+
+    v = a;
+
+    return get<T>(v);
+}
+
+int main()
+{
+    {
+        constexpr auto w = test<variant<int>, int>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+    {
+        constexpr auto w = test<variant<X>, X>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+#if defined( BOOST_LIBSTDCXX_VERSION ) && BOOST_LIBSTDCXX_VERSION < 50000
+#else
+
+    {
+        constexpr auto w = test<variant<Y>, Y>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+#endif
+
+    {
+        constexpr auto w = test<variant<int, float>, int>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+    {
+        constexpr auto w = test<variant<int, float>, float>( 3.0f );
+        STATIC_ASSERT( w == 3.0f );
+    }
+
+    {
+        constexpr auto w = test<variant<int, int, float>, float>( 3.0f );
+        STATIC_ASSERT( w == 3.0f );
+    }
+
+    {
+        constexpr auto w = test<variant<E, E, X>, X>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+    {
+        constexpr auto w = test<variant<int, int, float, float, X>, X>( X(1) );
+        STATIC_ASSERT( w == 1 );
+    }
+
+#if defined( BOOST_LIBSTDCXX_VERSION ) && BOOST_LIBSTDCXX_VERSION < 50000
+#else
+
+    {
+        constexpr auto w = test<variant<E, E, Y>, Y>( 1 );
+        STATIC_ASSERT( w == 1 );
+    }
+
+    {
+        constexpr auto w = test<variant<int, int, float, float, Y>, Y>( Y(1) );
+        STATIC_ASSERT( w == 1 );
+    }
+
+#endif
+}