Trait atomic_ring_buffer::InvariantAsMut

pub unsafe trait InvariantAsMut<T: ?Sized>: AsMut<T> + AsRef<T> { }

A marker trait indicating that as_mut() and as_ref() always return the same pointer.

When using as_ref() or as_mut(), it is generally reasonable to assume that:

• both return a pointer to the same data, and
• this pointer never changes.

These assumptions are vital when writing unsafe code.

However, it is legal (although likely counterproductive) to implement as_ref() and as_mut() that violate this assumption, and when coupled with unsafe code this results in breach of memory safety. Hence, this (unsafe to implement) trait is used to indicate that the implementation is sane.

Implementors

• impl<'a, T: ?Sized, U: ?Sized> InvariantAsMut<U> for &'a mut T where
    T: InvariantAsMut<U>,
    U: , 
• impl<T: ?Sized> InvariantAsMut<T> for Box<T>
• impl<T> InvariantAsMut<Vec<T>> for Vec<T>
• impl<T> InvariantAsMut<[T]> for Vec<T>
• impl<T> InvariantAsMut<[T]> for [T]
• impl<T> InvariantAsMut<[T]> for [T; 0]
• impl<T> InvariantAsMut<[T]> for [T; 1]
• impl<T> InvariantAsMut<[T]> for [T; 2]
• impl<T> InvariantAsMut<[T]> for [T; 3]
• impl<T> InvariantAsMut<[T]> for [T; 4]
• impl<T> InvariantAsMut<[T]> for [T; 5]
• impl<T> InvariantAsMut<[T]> for [T; 6]
• impl<T> InvariantAsMut<[T]> for [T; 7]
• impl<T> InvariantAsMut<[T]> for [T; 8]
• impl<T> InvariantAsMut<[T]> for [T; 9]
• impl<T> InvariantAsMut<[T]> for [T; 10]
• impl<T> InvariantAsMut<[T]> for [T; 11]
• impl<T> InvariantAsMut<[T]> for [T; 12]
• impl<T> InvariantAsMut<[T]> for [T; 13]
• impl<T> InvariantAsMut<[T]> for [T; 14]
• impl<T> InvariantAsMut<[T]> for [T; 15]
• impl<T> InvariantAsMut<[T]> for [T; 16]
• impl<T> InvariantAsMut<[T]> for [T; 17]
• impl<T> InvariantAsMut<[T]> for [T; 18]
• impl<T> InvariantAsMut<[T]> for [T; 19]
• impl<T> InvariantAsMut<[T]> for [T; 20]
• impl<T> InvariantAsMut<[T]> for [T; 21]
• impl<T> InvariantAsMut<[T]> for [T; 22]
• impl<T> InvariantAsMut<[T]> for [T; 23]
• impl<T> InvariantAsMut<[T]> for [T; 24]
• impl<T> InvariantAsMut<[T]> for [T; 25]
• impl<T> InvariantAsMut<[T]> for [T; 26]
• impl<T> InvariantAsMut<[T]> for [T; 27]
• impl<T> InvariantAsMut<[T]> for [T; 28]
• impl<T> InvariantAsMut<[T]> for [T; 29]
• impl<T> InvariantAsMut<[T]> for [T; 30]
• impl<T> InvariantAsMut<[T]> for [T; 31]