Mais especificamente, digamos que eu tenho um modelo de classe com parâmetrosA eB, e eu gostaria de ter um erro do compilador (quando o modelo estiver sendo instanciado) se B não for derivado de A.

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