#include <boost/mpl/arg.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/find.hpp>
using namespace boost;

void test0(void)
{
#if 1
   //Compile on this fails with:
/*
../../../../../boost/mpl/not.hpp:43: error: 'value' is not a member of 'boost::mpl::aux::nested_type_wknd<boost::mpl::aux::iter_apply1<boost::mpl::same_as<mpl_::arg<1> >, boost::mpl::v_iter<boost::mpl::vector<mpl_::arg<1>, mpl_::arg<2>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, 0l> > >'
 */   
   typedef mpl::arg<1> expected_t0;
   typedef mpl::arg<2> expected_t1;
#else
   //Compile on this passes.
   typedef int expected_t0;
   typedef double expected_t1;
#endif   
   typedef mpl::vector<expected_t0,expected_t1> expected_args;
   typedef mpl::find<expected_args,expected_t0>::type find_t0;
}