fn suggest_replacing_equality_pred_with_assoc_item_constraint( diag: &mut Diag<'_>, lhs_ty: Ty, rhs_ty: Ty, )