//Purpose:
//  Test rebind_any
//
#include <iostream>
#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/any_cast.hpp>
#include <boost/type_erasure/rebind_any.hpp>
#include <boost/type_erasure/typeid_of.hpp>
#include <boost/type_erasure/builtin.hpp>
#include <boost/type_erasure/operators.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/any.hpp>
#include <boost/utility/demangled_type_name.hpp>

namespace mpl = boost::mpl;
namespace te = boost::type_erasure;

int main()
{
    typedef mpl::vector<
      te::copy_constructible<>,
      te::typeid_<>,
      te::addable<>
    > ConceptSelf;
    
    typedef te::any< ConceptSelf
    > any_self_t;
    std::cout<<"any_self_t="<<utility::demangled_type_name<any_self_t>()<<"\n";
    typedef te::rebind_any<any_self_t,te::_a>::type rebind_self2a_t;
    std::cout<<"rebind_self2a_t="<<utility::demangled_type_name<rebind_self2a_t>()<<"\n";
    return 0;
}