/*=============================================================================
    Copyright (c) 2019 Nikita Kniazev

    Use, modification and distribution is subject to 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/spirit/home/x3/support/unused.hpp>
#include <type_traits>

void test_use(boost::spirit::x3::unused_type) {}

int main()
{
    using boost::spirit::x3::unused;
    using boost::spirit::x3::unused_type;

    static_assert(std::is_trivial<unused_type>::value, "");

    unused_type unused_mut;
    static_assert(std::is_same<decltype((unused)), unused_type const&>::value, "");
    static_assert(std::is_same<decltype((unused_mut)), unused_type&>::value, "");
    static_assert(std::is_same<decltype(unused = 123), unused_type const&>::value, "");
    static_assert(std::is_same<decltype(unused = unused), unused_type const&>::value, "");
    static_assert(std::is_same<decltype(unused = unused_mut), unused_type const&>::value, "");
    static_assert(std::is_same<decltype(unused_mut = 123), unused_type&>::value, "");
    static_assert(std::is_same<decltype(unused_mut = unused), unused_type&>::value, "");
    static_assert(std::is_same<decltype(unused_mut = unused_mut), unused_type&>::value, "");

    test_use(0);
    test_use(unused);
    test_use(unused_mut);
}