Rollup of 5 pull requests#98025

Merged

bors merged 10 commits intorust-lang:masterfrom

Dylan-DPC:rollup-cwt2hb7

Jun 12, 2022

Commits on Jun 9, 2022

additional docs example for replace **all** of str
bvanjoi
committed

Commits on Jun 10, 2022

Do not panic in Termination impl on closed stderr
dtolnay
committed

Commits on Jun 11, 2022