[Boost-users] Re: B is_convertible to A<T> for some T

Hello,

how do I express through template metaprogramming or in a similar way that a class is convertible to a template class for some T1? I.e., the condition: "There exists some T1 such that B is convertible to A<T1>".

I guess all you need is boost::lambda::detail::is_instance_of_1. Best regards.