Rollup of 7 pull requests#74493

Merged

bors merged 22 commits intorust-lang:masterfrom

Manishearth:rollup-ust7yr4

Jul 19, 2020

Commits on Jun 26, 2020

Document the trait keyword
poliorcetics
committed

Commits on Jul 14, 2020

Add core::ready! macro
yoshuawuyts
committed

Commits on Jul 16, 2020

Fix small nits, clarfying some confusing vocabulary and using more consistent wording
poliorcetics
committed

Commits on Jul 18, 2020