#include <boost/hof/decay.hpp>
#include "test.hpp"

#define CHECK_DECAY(T) \
    STATIC_ASSERT_SAME(decltype(boost::hof::decay(std::declval<T>())), std::decay<T>::type)

BOOST_HOF_TEST_CASE()
{
    CHECK_DECAY(int);
    CHECK_DECAY(int*);
    CHECK_DECAY(int&);
    CHECK_DECAY(int&&);
    CHECK_DECAY(const int&);
    CHECK_DECAY(int[2]);
    CHECK_DECAY(int(int));
}

BOOST_HOF_TEST_CASE()
{
    BOOST_HOF_TEST_CHECK(boost::hof::decay(3) == 3);
    BOOST_HOF_STATIC_TEST_CHECK(boost::hof::decay(3) == 3);
}