Function template_is_a 

pub fn template_is_a(template: ClassTemplateId, dest: ClassTemplateId) -> bool

is_a for a template rather than an object: whether dest is in template’s registered ancestor-or-self closure. A compile-time query (a call site asks which registered classes could be the dynamic class behind a static one).