public static boolean dominates(DFAType dominating, DFAType dominated) {
    boolean primaryDominating = dominated.primary == null || dominated.primary == PsiTypes.nullType() || dominated.primary == dominating.primary;
    if (!primaryDominating) return false;
    return dominating.mixins.isEmpty() || dominated.mixins == dominating.mixins;
  }
public static boolean dominates(DFAType dominating, DFAType dominated)