Trait DerefPure 

pub unsafe trait DerefPure { }

🔬This is a nightly-only experimental API. (deref_pure_trait)

Perma-unstable marker trait. Indicates that the type has a well-behaved Deref (and, if applicable, DerefMut) implementation. This is relied on for soundness of deref patterns.

FIXME(deref_patterns): The precise semantics are undecided; the rough idea is that successive calls to deref/deref_mut without intermediate mutation should be idempotent, in the sense that they return the same value as far as pattern-matching is concerned. Calls to deref/deref_mut must leave the pointer itself likewise unchanged.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl DerefPure for Cow<'_, str>

Available on non-no_global_oom_handling only.

impl DerefPure for ByteStr

impl DerefPure for ByteString

impl DerefPure for String

impl<Ptr> DerefPure for Pin<Ptr>

where Ptr: DerefPure,

impl<T> DerefPure for Cow<'_, [T]>

where T: Clone,

Available on non-no_global_oom_handling only.

impl<T> DerefPure for Cow<'_, T>

where T: Clone,

impl<T> DerefPure for &T

where T: ?Sized,

impl<T> DerefPure for &mut T

where T: ?Sized,

impl<T> DerefPure for ManuallyDrop<T>

where T: ?Sized,

impl<T> DerefPure for Ref<'_, T>

where T: ?Sized,

impl<T> DerefPure for RefMut<'_, T>

where T: ?Sized,

impl<T, A> DerefPure for Vec<T, A>

where A: Allocator,

impl<T, A> DerefPure for Box<T, A>

where A: Allocator, T: ?Sized,

impl<T, A> DerefPure for Rc<T, A>

where A: Allocator, T: ?Sized,

impl<T, A> DerefPure for UniqueRc<T, A>

where A: Allocator, T: ?Sized,

impl<T, A> DerefPure for Arc<T, A>

where A: Allocator, T: ?Sized,

impl<T, A> DerefPure for UniqueArc<T, A>

where A: Allocator, T: ?Sized,