Mike Conley <[EMAIL PROTECTED]> writes: > David Abrahams <[EMAIL PROTECTED]> wrote in > news:[EMAIL PROTECTED]: > >> Further, suppose I write a metafunction: >> >> template <class T> >> struct is_const_and_int_convertible >> : and_< >> is_const<T> >> , is_convertible<T,int> >> > >> {}; >> >> Does this one depend on context also? > > Yes.
That completely scuttles the ODR, as far as I can tell. > But don't we have this problem with the template version, too? AFAICT the answer is no. -- Dave Abrahams Boost Consulting www.boost-consulting.com _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost