//Purpose:
//  Demonstrate that no placeholder is required in template
//  args to a concept def template.
//
#include <boost/type_erasure/any.hpp>
#include <boost/type_erasure/builtin.hpp>
#include <boost/type_erasure/operators.hpp>
#include <iostream>

namespace mpl = boost::mpl;
using namespace boost::type_erasure;

int main()
{
    int i = 0;
    std::cout<<":i(before)="<<i<<"\n";
    call( incrementable<int>(), i);
    std::cout<<":i(after)="<<i<<"\n";
    return 0;
}