Rollup of 10 pull requests#91627

Merged

bors merged 26 commits intorust-lang:masterfrom

matthiaskrgr:rollup-z3e2peg

Dec 7, 2021

Commits on Dec 3, 2021

Remove a code path that is neither documented nor can I see the reason it existed.
oli-obk
committed
Tweak "call this function" suggestion to have smaller span
estebank
committed

Commits on Dec 4, 2021

Commits on Dec 5, 2021

Commits on Dec 7, 2021