From: Perepelitsa Roman (romka_at_[hidden])
Date: 2005-01-07 08:15:29
> 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<B, A>.
Best regards.