diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2023-11-27 21:05:28 +1100 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2023-11-28 11:52:30 +1100 |
| commit | 00d5f189543f795291ab55522879dd80e2fce954 (patch) | |
| tree | 6c7108600225c6f9ea84c42f04d6d735738d8f13 /compiler/rustc_interface/src | |
| parent | 49b3924bd4a34d3cf9c37b74120fba78d9712ab8 (diff) | |
| download | rust-00d5f189543f795291ab55522879dd80e2fce954.tar.gz rust-00d5f189543f795291ab55522879dd80e2fce954.zip | |
Fix comments for unsigned non-zero `checked_add`, `saturating_add`
For these two methods, `other` is an ordinary unsigned integer, so it can be zero. Since the sum of non-zero and zero is always non-zero, the safety argument holds even when `other` is zero.
Diffstat (limited to 'compiler/rustc_interface/src')
0 files changed, 0 insertions, 0 deletions