rustdoc-search: clean up type unification and "unboxing"#112233
Merged
bors merged 4 commits intorust-lang:masterfrom Jun 15, 2023
Merged
rustdoc-search: clean up type unification and "unboxing"#112233bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom