nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-06-04 19:29:07 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add an unchecked_div alias to the Div<NonZero<_>> impls

Browse Source
This commit is contained in:
Scott McMurray 2025-01-24 09:51:59 -08:00
parent 9a1d156f38
commit 2d11559f56
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
library/core/src/num/nonzero.rs
View File

@ -1165,8 +1165,12 @@ macro_rules! nonzero_integer_signedness_dependent_impls {
impl Div<NonZero<$Int>> for $Int { impl Div<NonZero<$Int>> for $Int {
type Output = $Int; type Output = $Int;
/// Same as `self / other.get()`, but because `other` is a `NonZero<_>`,
/// there's never a runtime check for division-by-zero.
///
/// This operation rounds towards zero, truncating any fractional /// This operation rounds towards zero, truncating any fractional
/// part of the exact result, and cannot panic. /// part of the exact result, and cannot panic.
#[doc(alias = "unchecked_div")]
#[inline] #[inline]
fn div(self, other: NonZero<$Int>) -> $Int { fn div(self, other: NonZero<$Int>) -> $Int {
// SAFETY: Division by zero is checked because `other` is non-zero, // SAFETY: Division by zero is checked because `other` is non-zero,
@ -1177,6 +1181,9 @@ macro_rules! nonzero_integer_signedness_dependent_impls {
#[stable(feature = "nonzero_div_assign", since = "1.79.0")] #[stable(feature = "nonzero_div_assign", since = "1.79.0")]
impl DivAssign<NonZero<$Int>> for $Int { impl DivAssign<NonZero<$Int>> for $Int {
/// Same as `self /= other.get()`, but because `other` is a `NonZero<_>`,
/// there's never a runtime check for division-by-zero.
///
/// This operation rounds towards zero, truncating any fractional /// This operation rounds towards zero, truncating any fractional
/// part of the exact result, and cannot panic. /// part of the exact result, and cannot panic.
#[inline] #[inline]