Rollup of 10 pull requests#111163

Closed

Manishearth wants to merge 29 commits into

rust-lang:masterfrom

Manishearth:rollup-7xa8hii

Commits on Feb 16, 2023

std: replace generic thread parker with explicit no-op parker
joboet
committed

Commits on Apr 17, 2023

Commits on Apr 19, 2023

rustdoc-search: give longer notification for type corrections
notriddle
committed

Commits on Apr 20, 2023

rustdoc-search: clean up `checkIfInGenerics` call at end of `checkType`
notriddle
committed
rustdoc-search: make type name correction choice deterministic
notriddle
committed
rustdoc-search: use more descriptive "x not found; y instead" message
notriddle
committed

Commits on Apr 29, 2023

Commits on May 3, 2023