Rollup of 8 pull requests#71539

Merged

bors merged 20 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-a2vbfh9

Apr 25, 2020

Commits on Apr 8, 2020

fix misleading type annotation diagonstics
contrun
committed

Commits on Apr 24, 2020