pub(crate) fn try_unify_abstract_consts() -> DepKindStruct