pub fn try_unify_abstract_consts() -> DepKindStruct