Rollup of 5 pull requests#69325

Merged

bors merged 26 commits intorust-lang:masterfrom

Centril:rollup-vce2ko2

Feb 20, 2020

Commits on Feb 11, 2020

On mismatched argument count point at arguments
estebank
committed

Commits on Feb 14, 2020

const-prop: use one helper method for all lints; consistently lint overflow on BinOps and not on Assert
RalfJung
committed

Commits on Feb 15, 2020

Commits on Feb 18, 2020

better lint names
RalfJung
committed

Commits on Feb 19, 2020

Commits on Feb 20, 2020