Rollup of 7 pull requests#72422

Merged

bors merged 15 commits intorust-lang:masterfrom

RalfJung:rollup-u81z4mw

May 21, 2020

Commits on May 3, 2020

Commits on May 11, 2020

rustc-book: Document `-Z strip=val` option
petrochenkov
committed

Commits on May 19, 2020

Fix going back in history to a search result page on firefox
GuillaumeGomez
committed
Remove unused `StableHashingContext::node_to_hir_id` method
marmeladema
committed

Commits on May 20, 2020

Commits on May 21, 2020

Rollup merge of #71854 - eduardosm:assoc-char-funcs-and-consts, r=Amanieu
RalfJung
authored
Rollup merge of #72111 - petrochenkov:docstrip, r=ehuss
RalfJung
authored
Rollup merge of #72272 - GuillaumeGomez:fix-back-on-page-with-search-behaviour, r=kinnison
RalfJung
authored
Rollup merge of #72296 - ChrisDenton:msvc-link-check, r=petrochenkov
RalfJung
authored
Rollup merge of #72365 - marmeladema:remove-node_to_hir_id, r=ecstatic-morse
RalfJung
authored
Rollup merge of #72371 - Elrendio:char_documentation, r=steveklabnik
RalfJung
authored
Rollup merge of #72397 - petrochenkov:tiny, r=Amanieu
RalfJung
authored