Rollup of 7 pull requests#85413

Closed

RalfJung wants to merge 16 commits intorust-lang:masterfrom

RalfJung:rollup-x0i7r31

Commits on May 9, 2021

Check the ABI of `body.source`
hyd-dev
committed

Commits on May 14, 2021

Expand WASI abbreviation in docs
r00ster
authored

Commits on May 16, 2021

Commits on May 17, 2021