#include <boost/type_traits/is_array.hpp>
#include <boost/type_traits/is_function.hpp>
#include <boost/type_traits/remove_bounds.hpp>
#include <boost/type_traits/add_pointer.hpp>
#include <boost/mpl/eval_if.hpp>
#include <boost/mpl/identity.hpp>
#include <utility>

namespace boost
{
    
    template< class T >
    struct decayed
    {
        typedef typename mpl::eval_if< 
            is_array<T>,
            mpl::identity<typename remove_bounds<T>::type*>,
            typename mpl::eval_if< 
                is_function<T>,
                add_pointer<T>,
                mpl::identity<T>
            >
        >::type type;
    };

    template< class F, class S >
    inline std::pair< typename decayed<const F>::type, 
                      typename decayed<const S>::type >
    make_pair( const F& f, const S& s )
    {
        return std::pair< BOOST_DEDUCED_TYPENAME decayed<const F>::type, 
                          BOOST_DEDUCED_TYPENAME decayed<const S>::type >( f, s ); 
    }
    template< class F, class S >
    inline std::pair< typename decayed<F>::type, 
                      typename decayed<S>::type >
    make_pair( F& f, S& s )
    {
        return std::pair< BOOST_DEDUCED_TYPENAME decayed<F>::type, 
                          BOOST_DEDUCED_TYPENAME decayed<S>::type >( f, s ); 
    }

}

#include <string>

int proc1()
{
   return 0;
}
int proc2(int c)
{
   return c;
}


int main()
{
#if (defined __BORLANDC__)
#  pragma warn -8004 // never used values
#endif
    boost::decayed<int>::type integer = 1;
    boost::decayed<char[2]>::type char_ptr = "foo";
    boost::decayed<const char[2]>::type cchar_ptr = "foo";
    boost::decayed<wchar_t[2]>::type wchar_ptr = L"foo";
    boost::decayed<const wchar_t[2]>::type cwchar_ptr = L"foo";

    std::pair<std::string,std::string> p  = boost::make_pair( "foo", "bar" );
    std::pair<std::string, int>        p2 = boost::make_pair( "foo", 1 );
#ifndef BOOST_NO_STD_WSTRING
    std::pair<std::wstring,std::string> p3  = boost::make_pair( L"foo", "bar" );
    std::pair<std::wstring, int>        p4  = boost::make_pair( L"foo", 1 );
#endif

    int array[10];
    std::pair<int*,int*> p5 = boost::make_pair( array, array );
#ifndef __BORLANDC__
    std::pair<int(*)(void), int(*)(int)> p6 = boost::make_pair(proc1, proc2);
    p6.first();
    p6.second(1);
#endif
    return 0;

}