Trait DerefPure
unsafe trait DerefPure: PointeeSizedPerma-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.
Implementors
impl<T: ?Sized> DerefPure for &Timpl<T: ?Sized> DerefPure for &mut Timpl DerefPure for ByteStrimpl<T: ?Sized> DerefPure for Ref<'_, T>impl<T: ?Sized> DerefPure for RefMut<'_, T>impl<Ptr: DerefPure> DerefPure for Pin<Ptr>impl<T: ?Sized> DerefPure for ManuallyDrop<T>