Skip to content

fix: Avoid type unification errors in term search#22662

Open
ChayimFriedman2 wants to merge 1 commit into
rust-lang:masterfrom
ChayimFriedman2:term-search-unify
Open

fix: Avoid type unification errors in term search#22662
ChayimFriedman2 wants to merge 1 commit into
rust-lang:masterfrom
ChayimFriedman2:term-search-unify

Avoid type unification errors in term search

7fbbd20
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
rustdoc
succeeded Jun 29, 2026 in 1m 17s