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

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>". An example program: (Platform: VC++7.1)

I guess you want the type-trait: is_convertible. John.