// Copyright 2020 Peter Dimov.
// Distributed under the Boost Software License, Version 1.0.
// https://www.boost.org/LICENSE_1_0.txt

#if defined(_MSC_VER) && _MSC_VER < 1910
# pragma warning(disable: 4503) // decorated name length exceeded
#endif

#include <boost/variant2/variant.hpp>
#include <boost/core/lightweight_test_trait.hpp>
#include <boost/config.hpp>

#include <boost/mp11.hpp>
using namespace boost::mp11;

// mp_power_set<L>

template<class L> struct mp_power_set_impl;

template<class L> using mp_power_set = typename mp_power_set_impl<L>::type;

template<template<class...> class L> struct mp_power_set_impl< L<> >
{
    using type = L< L<> >;
};

template<template<class...> class L, class T1, class... T> struct mp_power_set_impl< L<T1, T...> >
{
    using S1 = mp_power_set< L<T...> >;

    template<class L2> using _f = mp_push_front<L2, T1>;

    using S2 = mp_transform<_f, S1>;

    using type = mp_append< S1, S2 >;
};

//

using namespace boost::variant2;

struct D
{
    ~D() noexcept {}
};

struct CC1
{
    CC1( CC1 const& ) {}
};

struct CC2
{
    CC2( CC2 const& ) = delete;
};

struct MC1
{
    MC1( MC1 && ) {}
};

struct MC2
{
    MC2( MC2 && ) = delete;
};

struct CA1
{
    CA1& operator=( CA1 const& ) { return *this; }
};

struct CA2
{
    CA2& operator=( CA2 const& ) = delete;
};

struct MA1
{
    MA1& operator=( MA1 && ) { return *this; }
};

struct MA2
{
    MA2& operator=( MA2 && ) = delete;
};

struct test
{
    template<class... T> void operator()( mp_list<T...> ) const noexcept
    {
        using U = mp_inherit<T...>;

        BOOST_TEST_EQ( std::is_copy_constructible<variant<U>>::value, std::is_copy_constructible<U>::value );
        BOOST_TEST_EQ( std::is_nothrow_copy_constructible<variant<U>>::value, std::is_nothrow_copy_constructible<U>::value );

#if !BOOST_WORKAROUND(BOOST_MSVC, < 1910)
        BOOST_TEST_EQ( std::is_move_constructible<variant<U>>::value, std::is_move_constructible<U>::value );
#else
        BOOST_TEST_GE( std::is_move_constructible<variant<U>>::value, std::is_move_constructible<U>::value );
#endif

        BOOST_TEST_EQ( std::is_nothrow_move_constructible<variant<U>>::value, std::is_nothrow_move_constructible<U>::value );

        BOOST_TEST_EQ( std::is_copy_assignable<variant<U>>::value, std::is_copy_constructible<U>::value && std::is_copy_assignable<U>::value );
        BOOST_TEST_EQ( std::is_nothrow_copy_assignable<variant<U>>::value, std::is_nothrow_copy_constructible<U>::value && std::is_copy_assignable<U>::value );

        BOOST_TEST_EQ( std::is_move_assignable<variant<U>>::value, std::is_move_constructible<U>::value && std::is_move_assignable<U>::value );
        BOOST_TEST_EQ( std::is_nothrow_move_assignable<variant<U>>::value, std::is_nothrow_move_constructible<U>::value && std::is_move_assignable<U>::value );
    }
};

int main()
{
    mp_for_each< mp_power_set< mp_list<D, CC1, CC2, MC1, MC2, CA1, CA2, MA1, MA2> > >( test() );
    return boost::report_errors();
}