Más específicamente, digamos que tengo una plantilla de clase con parámetrosA yB, y me gustaría tener un error de compilación (cuando se está instanciando la plantilla) si B no se deriva de A.

template<class A, class B>
class Foo
{
    // static_assert(B is derived from A)
};