Rollup of 10 pull requests#86379

Merged

bors merged 20 commits intorust-lang:masterfrom

JohnTitor:rollup-mkz9x36

Jun 17, 2021

Commits on Jun 1, 2021

Allow whitespace in dump_mir filter
ptrojahn
committed

Commits on Jun 7, 2021

Fix span calculation in format strings
FabianWolff
committed

Commits on Jun 8, 2021

Commits on Jun 15, 2021

Commits on Jun 16, 2021