Function hir_is_disjoint_from_class 

fn hir_is_disjoint_from_class(hir: &Hir, separator: &Class) -> bool