doc: improve None condition doc for checked_div
and checked_rem
#46947
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 6, 2018
Merged
doc: improve None condition doc for `checked_div` and `checked_rem`#46947bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom