Add #[rustc_significant_interior_mutable_type] to core and std types

Author: Urgau

library/core/src/cell.rs

@@ -307,6 +307,7 @@ pub use once::OnceCell;
 #[stable(feature = "rust1", since = "1.0.0")]
 #[repr(transparent)]
 #[rustc_pub_transparent]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct Cell<T: ?Sized> {
     value: UnsafeCell<T>,
 }
@@ -723,6 +724,7 @@ impl<T, const N: usize> Cell<[T; N]> {
 /// See the [module-level documentation](self) for more.
 #[cfg_attr(not(test), rustc_diagnostic_item = "RefCell")]
 #[stable(feature = "rust1", since = "1.0.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct RefCell<T: ?Sized> {
     borrow: Cell<BorrowFlag>,
     // Stores the location of the earliest currently active borrow.
@@ -2068,6 +2070,7 @@ impl<T: ?Sized + fmt::Display> fmt::Display for RefMut<'_, T> {
 #[stable(feature = "rust1", since = "1.0.0")]
 #[repr(transparent)]
 #[rustc_pub_transparent]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct UnsafeCell<T: ?Sized> {
     value: T,
 }

library/core/src/cell/lazy.rs

@@ -35,6 +35,7 @@ enum State<T, F> {
 /// //   92
 /// ```
 #[stable(feature = "lazy_cell", since = "1.80.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct LazyCell<T, F = fn() -> T> {
     state: UnsafeCell<State<T, F>>,
 }

library/core/src/cell/once.rs

@@ -29,6 +29,7 @@ use crate::{fmt, mem};
 /// assert!(cell.get().is_some());
 /// ```
 #[stable(feature = "once_cell", since = "1.70.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct OnceCell<T> {
     // Invariant: written to at most once.
     inner: UnsafeCell<Option<T>>,

library/core/src/sync/atomic.rs

@@ -266,6 +266,7 @@ const EMULATE_ATOMIC_BOOL: bool =
 #[cfg(target_has_atomic_load_store = "8")]
 #[stable(feature = "rust1", since = "1.0.0")]
 #[rustc_diagnostic_item = "AtomicBool"]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 #[repr(C, align(1))]
 pub struct AtomicBool {
     v: UnsafeCell<u8>,
@@ -295,6 +296,7 @@ unsafe impl Sync for AtomicBool {}
 #[cfg(target_has_atomic_load_store = "ptr")]
 #[stable(feature = "rust1", since = "1.0.0")]
 #[cfg_attr(not(test), rustc_diagnostic_item = "AtomicPtr")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 #[cfg_attr(target_pointer_width = "16", repr(C, align(2)))]
 #[cfg_attr(target_pointer_width = "32", repr(C, align(4)))]
 #[cfg_attr(target_pointer_width = "64", repr(C, align(8)))]
@@ -2124,6 +2126,7 @@ macro_rules! atomic_int {
      $stable_nand:meta,
      $const_stable:meta,
      $diagnostic_item:meta,
+     $interior_mut_item:meta,
      $s_int_type:literal,
      $extra_feature:expr,
      $min_fn:ident, $max_fn:ident,
@@ -2161,6 +2164,7 @@ macro_rules! atomic_int {
         /// [module-level documentation]: crate::sync::atomic
         #[$stable]
         #[$diagnostic_item]
+        #[$interior_mut_item]
         #[repr(C, align($align))]
         pub struct $atomic_type {
             v: UnsafeCell<$int_type>,
@@ -3055,6 +3059,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicI8"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "i8",
     "",
     atomic_min, atomic_max,
@@ -3073,6 +3078,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicU8"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "u8",
     "",
     atomic_umin, atomic_umax,
@@ -3091,6 +3097,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicI16"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "i16",
     "",
     atomic_min, atomic_max,
@@ -3109,6 +3116,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicU16"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "u16",
     "",
     atomic_umin, atomic_umax,
@@ -3127,6 +3135,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicI32"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "i32",
     "",
     atomic_min, atomic_max,
@@ -3145,6 +3154,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicU32"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "u32",
     "",
     atomic_umin, atomic_umax,
@@ -3163,6 +3173,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicI64"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "i64",
     "",
     atomic_min, atomic_max,
@@ -3181,6 +3192,7 @@ atomic_int! {
     stable(feature = "integer_atomics_stable", since = "1.34.0"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicU64"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "u64",
     "",
     atomic_umin, atomic_umax,
@@ -3199,6 +3211,7 @@ atomic_int! {
     unstable(feature = "integer_atomics", issue = "99069"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicI128"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "i128",
     "#![feature(integer_atomics)]\n\n",
     atomic_min, atomic_max,
@@ -3217,6 +3230,7 @@ atomic_int! {
     unstable(feature = "integer_atomics", issue = "99069"),
     rustc_const_stable(feature = "const_integer_atomics", since = "1.34.0"),
     cfg_attr(not(test), rustc_diagnostic_item = "AtomicU128"),
+    cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
     "u128",
     "#![feature(integer_atomics)]\n\n",
     atomic_umin, atomic_umax,
@@ -3239,6 +3253,7 @@ macro_rules! atomic_int_ptr_sized {
             stable(feature = "atomic_nand", since = "1.27.0"),
             rustc_const_stable(feature = "const_ptr_sized_atomics", since = "1.24.0"),
             cfg_attr(not(test), rustc_diagnostic_item = "AtomicIsize"),
+            cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
             "isize",
             "",
             atomic_min, atomic_max,
@@ -3257,6 +3272,7 @@ macro_rules! atomic_int_ptr_sized {
             stable(feature = "atomic_nand", since = "1.27.0"),
             rustc_const_stable(feature = "const_ptr_sized_atomics", since = "1.24.0"),
             cfg_attr(not(test), rustc_diagnostic_item = "AtomicUsize"),
+            cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type),
             "usize",
             "",
             atomic_umin, atomic_umax,

library/std/src/sync/barrier.rs

@@ -32,6 +32,7 @@ use crate::sync::{Condvar, Mutex};
 /// }
 /// ```
 #[stable(feature = "rust1", since = "1.0.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct Barrier {
     lock: Mutex<BarrierState>,
     cvar: Condvar,

library/std/src/sync/condvar.rs

@@ -107,6 +107,7 @@ impl WaitTimeoutResult {
 /// }
 /// ```
 #[stable(feature = "rust1", since = "1.0.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct Condvar {
     inner: sys::Condvar,
 }

library/std/src/sync/lazy_lock.rs

@@ -62,6 +62,7 @@ union Data<T, F> {
 /// }
 /// ```
 #[stable(feature = "lazy_cell", since = "1.80.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct LazyLock<T, F = fn() -> T> {
     once: Once,
     data: UnsafeCell<Data<T, F>>,

library/std/src/sync/mutex.rs

@@ -175,6 +175,7 @@ use crate::sys::sync as sys;
 ///
 #[stable(feature = "rust1", since = "1.0.0")]
 #[cfg_attr(not(test), rustc_diagnostic_item = "Mutex")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct Mutex<T: ?Sized> {
     inner: sys::Mutex,
     poison: poison::Flag,

library/std/src/sync/once.rs

@@ -35,6 +35,7 @@ use crate::sys::sync as sys;
 /// [`OnceLock<T>`]: crate::sync::OnceLock
 /// [`LazyLock<T, F>`]: crate::sync::LazyLock
 #[stable(feature = "rust1", since = "1.0.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct Once {
     inner: sys::Once,
 }

library/std/src/sync/once_lock.rs

@@ -100,6 +100,7 @@ use crate::sync::Once;
 ///
 /// ```
 #[stable(feature = "once_cell", since = "1.70.0")]
+#[cfg_attr(not(bootstrap), rustc_significant_interior_mutable_type)]
 pub struct OnceLock<T> {
     once: Once,
     // Whether or not the value is initialized is tracked by `once.is_completed()`.