Update for https://github.com/rust-lang/rust/pull/42959#33

Merged

Gankra merged 1 commit intorust-lang:42959from SimonSapin:nonzero-checked_

Jul 15, 2017

+1-1

Commits on Jul 14, 2017

Update for rust-lang/rust#42959
SimonSapin
committed