1// Boost.TypeErasure library
2//
3// Copyright 2011 Steven Watanabe
4//
5// Distributed under the Boost Software License Version 1.0. (See
6// accompanying file LICENSE_1_0.txt or copy at
7// http://www.boost.org/LICENSE_1_0.txt)
8//
9// $Id$
10
11#include <boost/type_erasure/binding.hpp>
12#include <boost/type_erasure/builtin.hpp>
13#include <boost/type_erasure/static_binding.hpp>
14#include <boost/mpl/map.hpp>
15#include <boost/mpl/vector.hpp>
16#include <boost/mpl/pair.hpp>
17
18using namespace boost::type_erasure;
19
20int main()
21{
22 binding< boost::mpl::vector<typeid_<_a>, typeid_<_b> > > b1(
23 make_binding<boost::mpl::map<boost::mpl::pair<_a, int>, boost::mpl::pair<_b, int> > >());
24 binding< typeid_<_a> > b2(b1, make_binding<boost::mpl::map<> >());
25}
26

source code of boost/libs/type_erasure/test/fail_binding_convert_no_mapping.cpp