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.