Rollup merge of #127122 - TDecking:div_ceil, r=Nilstrieb · model-checking/verify-rust-std@05a472c (original) (raw)
Rollup merge of rust-lang#127122 - TDecking:div_ceil, r=Nilstrieb
Remove uneccessary condition in `div_ceil` Previously, `div_ceil` for unsigned integers had a `rhs > 0` for rounding. That condition however is always fulfilled, since `rhs == 0` would mean a division by zero earlier.