//  Copyright Peter Dimov 2015
//  Use, modification and distribution are subject to the 
//  Boost Software License, Version 1.0. (See accompanying file 
//  LICENSE_1_0.txt or copy at http://www.tt.org/LICENSE_1_0.txt)

#ifdef TEST_STD
#  include <type_traits>
#else
#  include <boost/type_traits/common_type.hpp>
#endif
#include "test.hpp"
#include "check_type.hpp"
#include <iostream>

struct X {};
struct Y: X {};

TT_TEST_BEGIN(common_type_6)
{
    // binary case

    BOOST_CHECK_TYPE3(tt::common_type<void, void>::type, void);

    BOOST_CHECK_TYPE3(tt::common_type<int, int>::type, int);
    BOOST_CHECK_TYPE3(tt::common_type<int&, int&>::type, int);
    BOOST_CHECK_TYPE3(tt::common_type<int&, int const&>::type, int);

    BOOST_CHECK_TYPE3(tt::common_type<X, X>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X&, X&>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X&, X const&>::type, X);

    BOOST_CHECK_TYPE3(tt::common_type<X, Y>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X&, Y&>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X const&, Y&>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X&, Y const&>::type, X);
    BOOST_CHECK_TYPE3(tt::common_type<X const&, Y const&>::type, X);
}
TT_TEST_END