Fix comments for unsigned non-zero `checked_add`, `saturating_add`#118397

Merged

bors merged 1 commit intorust-lang:masterfrom Zalathar:nonzero

Nov 28, 2023

+2-2

Commits on Nov 28, 2023

Fix comments for unsigned non-zero checked_add, saturating_add
Zalathar
committed