Rollup of 16 pull requests#62180

Closed

Centril wants to merge 49 commits intorust-lang:masterfrom

Centril:rollup-g5jeoew

Commits on Jun 15, 2019

Commits on Jun 16, 2019

Commits on Jun 19, 2019

Apply suggestions from code review

RalfJung
and
Centril
authored
nits
RalfJung
committed

Commits on Jun 22, 2019

Remove FnBox.
Centril
committed

Commits on Jun 24, 2019

Commits on Jun 26, 2019

Commits on Jun 27, 2019