Auto merge of rust-lang#121952 - JarvisCraft:master, r=workingjubilee

feat: implement `{Div,Rem}Assign<NonZero<X>>` on `X` # Description This PR implements `DivAssign<X>` and `RemAssign<X>` on `X` as suggested in rust-lang/libs-team#346. Since this is just a trait implementation on an already stable type, for which non-assign operator traits are already stable, I suggest that it is an insta-stable feature.
rust-lang-ci · Mar 17, 2024 · a83caa2 · a83caa2
2 parents 35dfc67 e7d3970
commit a83caa2
Showing 1 changed file with 20 additions and 1 deletion.
diff --git a/library/core/src/num/nonzero.rs b/library/core/src/num/nonzero.rs
@@ -5,7 5,7 @@ use crate::fmt;
 use crate::hash::{Hash, Hasher};
 use crate::intrinsics;
 use crate::marker::{Freeze, StructuralPartialEq};
-use crate::ops::{BitOr, BitOrAssign, Div, Neg, Rem};
 use crate::ops::{BitOr, BitOrAssign, Div, DivAssign, Neg, Rem, RemAssign};
 use crate::panic::{RefUnwindSafe, UnwindSafe};
 use crate::ptr;
 use crate::str::FromStr;
@@ -849,6 849,16 @@ macro_rules! nonzero_integer_signedness_dependent_impls {
  }
  }
 
  #[stable(feature = "nonzero_div_assign", since = "CURRENT_RUSTC_VERSION")]
  impl DivAssign<$Ty> for $Int {
  /// This operation rounds towards zero,
  /// truncating any fractional part of the exact result, and cannot panic.
  #[inline]
  fn div_assign(&mut self, other: $Ty) {
  *self = *self / other;
  }
  }
 
  #[stable(feature = "nonzero_div", since = "1.51.0")]
  impl Rem<$Ty> for $Int {
  type Output = $Int;
@@ -861,6 871,15 @@ macro_rules! nonzero_integer_signedness_dependent_impls {
  unsafe { intrinsics::unchecked_rem(self, other.get()) }
  }
  }
 
  #[stable(feature = "nonzero_div_assign", since = "CURRENT_RUSTC_VERSION")]
  impl RemAssign<$Ty> for $Int {
  /// This operation satisfies `n % d == n - (n / d) * d`, and cannot panic.
  #[inline]
  fn rem_assign(&mut self, other: $Ty) {
  *self = *self % other;
  }
  }
  };
 
  // Impls for signed nonzero types only.