Rollup of 8 pull requests#75747

Merged

bors merged 20 commits into

rust-lang:masterfrom

cuviper:rollup-icke90l

Aug 20, 2020

Commits on Aug 18, 2020

Move to intra-doc links for task.rs and vec.rs
surya-midatala
committed

Commits on Aug 20, 2020