// Copyright 2005 Alexander Nasonov.
// 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)

#ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED
#define FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED

#include <boost/type_traits/promote.hpp>

#include <boost/config.hpp>
#include <boost/static_assert.hpp>
#include <boost/type_traits/is_same.hpp>

template<class T, class Promoted>
inline void test_no_cv()
{
    typedef BOOST_DEDUCED_TYPENAME boost::promote<T>::type promoted;
    BOOST_STATIC_ASSERT((  boost::is_same<promoted,Promoted>::value ));
}

template<class T, class Promoted>
inline void test_cv()
{
    typedef BOOST_DEDUCED_TYPENAME boost::promote<T               >::type promoted;
    typedef BOOST_DEDUCED_TYPENAME boost::promote<T const         >::type promoted_c;
    typedef BOOST_DEDUCED_TYPENAME boost::promote<T       volatile>::type promoted_v;
    typedef BOOST_DEDUCED_TYPENAME boost::promote<T const volatile>::type promoted_cv;

    BOOST_STATIC_ASSERT(( ::boost::is_same< promoted   , Promoted                >::value ));
    BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_c , Promoted const          >::value ));
    BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_v , Promoted       volatile >::value ));
    BOOST_STATIC_ASSERT(( ::boost::is_same< promoted_cv, Promoted const volatile >::value ));
}

#endif // #ifndef FILE_boost_libs_type_traits_test_promote_util_hpp_INCLUDED