Skip to content

rustdoc-search: clean up type unification and "unboxing"#112233

Merged
bors merged 4 commits intorust-lang:masterfrom
notriddle:notriddle/search-unify
Jun 15, 2023
Merged

rustdoc-search: clean up type unification and "unboxing"#112233
bors merged 4 commits intorust-lang:masterfrom
notriddle:notriddle/search-unify

Commits

Commits on Jun 12, 2023