Rollup of 15 pull requests#50968

Merged

bors merged 31 commits intorust-lang:masterfrom

May 22, 2018

Commits on May 17, 2018

CheckLoopVisitor: also visit closure arguments
est31
committed

Commits on May 18, 2018

propagate "short form" into all Html prints
QuietMisdreavus
committed

Commits on May 20, 2018

Commits on May 22, 2018