uniquify root goals during HIR typeck#144405

Merged

bors merged 5 commits intorust-lang:masterfrom

lcnr:hir-typeck-uniquify

Jul 31, 2025

Commits on Jul 25, 2025

uniquify root goals during HIR typeck
lcnr
committed

Commits on Jul 29, 2025

resuse eagerly resolved goal from previous iteration
lcnr
committed

Commits on Jul 30, 2025