Rollup of 3 pull requests#97434

Merged

bors merged 18 commits intorust-lang:masterfrom

matthiaskrgr:rollup-7j3y16l

May 26, 2022

Commits on Apr 14, 2022

Commits on Apr 15, 2022

update docs for option to crossreference to the result docs
yaahc
committed

Commits on Apr 18, 2022

Commits on Apr 30, 2022

spicy
yaahc
committed

Commits on May 6, 2022

This is a pretty good start if you ask me
yaahc
committed

Commits on May 24, 2022

Commits on May 25, 2022