Rollup of 8 pull requests#85414

Merged

bors merged 18 commits intorust-lang:masterfrom

RalfJung:rollup-ueqcik4

May 17, 2021

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