"Stephen Gross" writes:

...

Maybe

...

template

struct contains_convertible_type : mpl::not_< boost::is_same< typename mpl::find_if< type_sequence ^^^^^^^^^^^^^ Sorry, that shoulda been "Sequence" , boost::is_convertible >::type , typename mpl::end<Sequence>::type > > {};

Cool--thanks for the info; I'll work on it...

Thanks, --Steve

-- Dave Abrahams Boost Consulting www.boost-consulting.com