StableDeref trait into core

Author: dingxiangfei2009

compiler/rustc_span/src/symbol.rs

@@ -302,6 +302,7 @@ symbols! {
         SliceIter,
         Some,
         SpanCtxt,
+        StableDeref,
         String,
         StructuralPartialEq,
         SubdiagMessage,

library/alloc/src/boxed.rs

@@ -161,7 +161,8 @@ use core::marker::Unsize;
 use core::mem::{self, SizedTypeProperties};
 use core::ops::{AsyncFn, AsyncFnMut, AsyncFnOnce};
 use core::ops::{
-    CoerceUnsized, Coroutine, CoroutineState, Deref, DerefMut, DerefPure, DispatchFromDyn, Receiver,
+    CoerceUnsized, Coroutine, CoroutineState, Deref, DerefMut, DerefPure, DispatchFromDyn,
+    Receiver, StableDeref,
 };
 use core::pin::Pin;
 use core::ptr::{self, addr_of_mut, NonNull, Unique};
@@ -2505,3 +2506,6 @@ impl<T: core::error::Error> core::error::Error for Box<T> {
         core::error::Error::provide(&**self, request);
     }
 }
+
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl<T: ?Sized, A: Allocator> StableDeref for Box<T, A> {}

library/alloc/src/ffi/c_str.rs

@@ -718,6 +718,9 @@ impl ops::Deref for CString {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl ops::StableDeref for CString {}
+
 #[stable(feature = "rust1", since = "1.0.0")]
 impl fmt::Debug for CString {
     fn fmt(&self, f: &mut fmt::Formatter<'_>) -> fmt::Result {

library/alloc/src/lib.rs

@@ -149,6 +149,7 @@
 #![feature(slice_index_methods)]
 #![feature(slice_ptr_get)]
 #![feature(slice_range)]
+#![feature(stable_deref_trait)]
 #![feature(std_internals)]
 #![feature(str_internals)]
 #![feature(strict_provenance)]

library/alloc/src/rc.rs

@@ -260,7 +260,9 @@ use core::marker::{PhantomData, Unsize};
 #[cfg(not(no_global_oom_handling))]
 use core::mem::size_of_val;
 use core::mem::{self, align_of_val_raw, forget, ManuallyDrop};
-use core::ops::{CoerceUnsized, Deref, DerefMut, DerefPure, DispatchFromDyn, Receiver};
+use core::ops::{
+    CoerceUnsized, Deref, DerefMut, DerefPure, DispatchFromDyn, Receiver, StableDeref,
+};
 use core::panic::{RefUnwindSafe, UnwindSafe};
 #[cfg(not(no_global_oom_handling))]
 use core::pin::Pin;
@@ -2127,6 +2129,9 @@ impl<T: ?Sized, A: Allocator> Deref for Rc<T, A> {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl<T: ?Sized, A: Allocator> StableDeref for Rc<T, A> {}
+
 #[unstable(feature = "deref_pure_trait", issue = "87121")]
 unsafe impl<T: ?Sized, A: Allocator> DerefPure for Rc<T, A> {}
 
@@ -3572,6 +3577,9 @@ impl<T> Deref for UniqueRc<T> {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl<T> StableDeref for UniqueRc<T> {}
+
 #[unstable(feature = "unique_rc_arc", issue = "112566")]
 impl<T> DerefMut for UniqueRc<T> {
     fn deref_mut(&mut self) -> &mut T {

library/alloc/src/string.rs

@@ -2481,6 +2481,9 @@ impl ops::Deref for String {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl ops::StableDeref for String {}
+
 #[unstable(feature = "deref_pure_trait", issue = "87121")]
 unsafe impl ops::DerefPure for String {}
 

library/alloc/src/sync.rs

@@ -21,7 +21,7 @@ use core::marker::{PhantomData, Unsize};
 #[cfg(not(no_global_oom_handling))]
 use core::mem::size_of_val;
 use core::mem::{self, align_of_val_raw};
-use core::ops::{CoerceUnsized, Deref, DerefPure, DispatchFromDyn, Receiver};
+use core::ops::{CoerceUnsized, Deref, DerefPure, DispatchFromDyn, Receiver, StableDeref};
 use core::panic::{RefUnwindSafe, UnwindSafe};
 use core::pin::Pin;
 use core::ptr::{self, NonNull};
@@ -2115,6 +2115,9 @@ impl<T: ?Sized, A: Allocator> Deref for Arc<T, A> {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl<T: ?Sized, A: Allocator> StableDeref for Arc<T, A> {}
+
 #[unstable(feature = "deref_pure_trait", issue = "87121")]
 unsafe impl<T: ?Sized, A: Allocator> DerefPure for Arc<T, A> {}
 

library/alloc/src/vec/mod.rs

@@ -2818,6 +2818,9 @@ impl<T, A: Allocator> ops::Deref for Vec<T, A> {
     }
 }
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+unsafe impl<T, A: Allocator> ops::StableDeref for Vec<T, A> {}
+
 #[stable(feature = "rust1", since = "1.0.0")]
 impl<T, A: Allocator> ops::DerefMut for Vec<T, A> {
     #[inline]

library/core/src/ops/deref.rs

@@ -309,3 +309,24 @@ impl<T: ?Sized> Receiver for &T {}
 
 #[unstable(feature = "receiver_trait", issue = "none")]
 impl<T: ?Sized> Receiver for &mut T {}
+
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+/// # Safety
+///
+/// Any two calls to `deref` must return the same value at the same address unless
+/// `self` has been modified in the meantime. Moves and unsizing coercions of `self`
+/// are not considered modifications.
+///
+/// Here, "same value" means that if `deref` returns a trait object, then the actual
+/// type behind that trait object must not change. Additionally, when you unsize
+/// coerce from `Self` to `Unsized`, then if you call `deref` on `Unsized` and get a
+/// trait object, then the underlying type of that trait object must be `<Self as
+/// Deref>::Target`.
+///
+/// Analogous requirements apply to other unsized types. E.g., if `deref` returns
+/// `[T]`, then the length must not change. In other words, the underlying type
+/// must not change from `[T; N]` to `[T; M]`.
+///
+/// If this type implements `DerefMut`, then the same restrictions apply to calls
+/// to `deref_mut`.
+pub unsafe trait StableDeref: Deref {}

library/core/src/ops/mod.rs

@@ -171,6 +171,9 @@ pub use self::deref::DerefPure;
 #[unstable(feature = "receiver_trait", issue = "none")]
 pub use self::deref::Receiver;
 
+#[unstable(feature = "stable_deref_trait", issue = "123430")]
+pub use self::deref::StableDeref;
+
 #[stable(feature = "rust1", since = "1.0.0")]
 pub use self::drop::Drop;