Revert "Remove `checked_add` in `Layout::repeat`"#69241

Merged

bors merged 1 commit intorust-lang:masterfrom

shahn:checked_add_revert

Feb 19, 2020

Commits on Feb 18, 2020

Revert "Remove `checked_add` in `Layout::repeat`"
shahn
committed