Rollup merge of #144682 - nxsaken:strict_overflow_ops, r=Mark-Simulacrum

Stabilize `strict_overflow_ops`
Closes#118260

Author: Zalathar

compiler/rustc_const_eval/src/lib.rs

@@ -1,6 +1,7 @@
 // tidy-alphabetical-start
 #![allow(internal_features)]
 #![allow(rustc::diagnostic_outside_of_impl)]
+#![cfg_attr(bootstrap, feature(strict_overflow_ops))]
 #![doc(rust_logo)]
 #![feature(array_try_map)]
 #![feature(assert_matches)]
@@ -10,7 +11,6 @@
 #![feature(never_type)]
 #![feature(rustdoc_internals)]
 #![feature(slice_ptr_get)]
-#![feature(strict_overflow_ops)]
 #![feature(trait_alias)]
 #![feature(try_blocks)]
 #![feature(unqualified_local_imports)]

library/core/src/num/int_macros.rs

@@ -469,17 +469,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!((", stringify!($SelfT),"::MAX - 2).strict_add(1), ", stringify!($SelfT),"::MAX - 1);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (", stringify!($SelfT),"::MAX - 2).strict_add(3);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -560,17 +559,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(1", stringify!($SelfT),".strict_add_unsigned(2), 3);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (", stringify!($SelfT),"::MAX - 2).strict_add_unsigned(3);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -611,17 +609,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!((", stringify!($SelfT),"::MIN + 2).strict_sub(1), ", stringify!($SelfT),"::MIN + 1);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (", stringify!($SelfT),"::MIN + 2).strict_sub(3);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -702,17 +699,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(1", stringify!($SelfT),".strict_sub_unsigned(2), -1);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (", stringify!($SelfT),"::MIN + 2).strict_sub_unsigned(3);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -753,17 +749,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(", stringify!($SelfT),"::MAX.strict_mul(1), ", stringify!($SelfT),"::MAX);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ``` should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MAX.strict_mul(2);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -855,24 +850,22 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!((", stringify!($SelfT),"::MIN + 1).strict_div(-1), ", stringify!($Max),");")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_div(-1);")]
 /// ```
 ///
 /// The following panics because of division by zero:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (1", stringify!($SelfT),").strict_div(0);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -924,24 +917,22 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!((", stringify!($SelfT),"::MIN + 1).strict_div_euclid(-1), ", stringify!($Max),");")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_div_euclid(-1);")]
 /// ```
 ///
 /// The following panics because of division by zero:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = (1", stringify!($SelfT),").strict_div_euclid(0);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1092,24 +1083,22 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(5", stringify!($SelfT),".strict_rem(2), 1);")]
 /// ```
 ///
 /// The following panics because of division by zero:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = 5", stringify!($SelfT),".strict_rem(0);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_rem(-1);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1160,24 +1149,22 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(5", stringify!($SelfT),".strict_rem_euclid(2), 1);")]
 /// ```
 ///
 /// The following panics because of division by zero:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = 5", stringify!($SelfT),".strict_rem_euclid(0);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_rem_euclid(-1);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1249,17 +1236,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(5", stringify!($SelfT),".strict_neg(), -5);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_neg();")]
 ///
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1306,17 +1292,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(0x1", stringify!($SelfT),".strict_shl(4), 0x10);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = 0x1", stringify!($SelfT),".strict_shl(129);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1422,17 +1407,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(0x10", stringify!($SelfT),".strict_shr(4), 0x1);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = 0x10", stringify!($SelfT),".strict_shr(128);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1542,17 +1526,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!((-5", stringify!($SelfT),").strict_abs(), 5);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MIN.strict_abs();")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]
@@ -1612,17 +1595,16 @@ macro_rules! int_impl {
 /// # Examples
 ///
 /// ```
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("assert_eq!(8", stringify!($SelfT),".strict_pow(2), 64);")]
 /// ```
 ///
 /// The following panics because of overflow:
 ///
 /// ```should_panic
-/// #![feature(strict_overflow_ops)]
  #[doc = concat!("let _ = ", stringify!($SelfT),"::MAX.strict_pow(2);")]
 /// ```
- #[unstable(feature = "strict_overflow_ops", issue = "118260")]
+ #[stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
+ #[rustc_const_stable(feature = "strict_overflow_ops", since = "CURRENT_RUSTC_VERSION")]
  #[must_use = "this returns the result of the operation, \
  without modifying the original"]
  #[inline]