https://gcc.gnu.org/g:2feace205d944c382b9fccc64ca56e6885e16d0d
commit r17-4324-g2feace205d944c382b9fccc64ca56e6885e16d0d Author: Philip Herron <[email protected]> Date: Thu Sep 3 22:19:25 2026 +0100 gccrs: Remove bad unify in operator overload breaking partial eq in core gcc/rust/ChangeLog: * typecheck/rust-hir-type-check-expr.cc: remove old hack Signed-off-by: Philip Herron <[email protected]> Diff: --- gcc/rust/typecheck/rust-hir-type-check-expr.cc | 5 ----- 1 file changed, 5 deletions(-) diff --git a/gcc/rust/typecheck/rust-hir-type-check-expr.cc b/gcc/rust/typecheck/rust-hir-type-check-expr.cc index 48145c8df73a..4824209aecbb 100644 --- a/gcc/rust/typecheck/rust-hir-type-check-expr.cc +++ b/gcc/rust/typecheck/rust-hir-type-check-expr.cc @@ -2110,11 +2110,6 @@ TypeCheckExpr::resolve_operator_overload ( lang_item_type, specified_segment, pred, expr); context->insert_deferred_operator_overload (std::move (defer)); - if (rhs != nullptr) - lhs = unify_site (expr.get_mappings ().get_hirid (), - TyTy::TyWithLocation (lhs), - TyTy::TyWithLocation (rhs), expr.get_locus ()); - infered = unify_site (expr.get_mappings ().get_hirid (), TyTy::TyWithLocation (lhs), TyTy::TyWithLocation (infer), expr.get_locus ());
