BecauseInvariantsEq

zerocopy::pointer::transmute

Enum BecauseInvariantsEq 

Source 
pub(crate) enum BecauseInvariantsEq {}

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> SizeEq<Cell<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, Cell<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<D<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, D<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<D<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, D<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<ManuallyDrop<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, ManuallyDrop<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<MaybeUninit<T>> for T

Source§

fn cast_from_raw(t: PtrInner<'_, MaybeUninit<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<S<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, S<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<S<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, S<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<T> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, T>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<Unalign<T>> for T

Source§

fn cast_from_raw(t: PtrInner<'_, Unalign<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<UnsafeCell<T>> for T
where T: ?Sized,

Source§

fn cast_from_raw(t: PtrInner<'_, UnsafeCell<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizeEq<Wrapping<T>> for T

Source§

fn cast_from_raw(t: PtrInner<'_, Wrapping<T>>) -> PtrInner<'_, T>

Source§

impl<T> SizedTypeProperties for T

Source§

#[doc(hidden)] const IS_ZST: bool = _

🔬This is a nightly-only experimental API. (sized_type_properties)
true if this type requires no storage. false if its size is greater than zero. Read more
Source§

#[doc(hidden)] const LAYOUT: Layout = _

🔬This is a nightly-only experimental API. (sized_type_properties)
Source§

#[doc(hidden)] const MAX_SLICE_LEN: usize = _

🔬This is a nightly-only experimental API. (sized_type_properties)
The largest safe length for a [Self]. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> InvariantsEq<D<T>> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<D<T>> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<ManuallyDrop<T>> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<S<T>> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<S<T>> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<T> for T
where T: ?Sized,

Source§

impl<T> InvariantsEq<Unalign<T>> for T

Source§

impl<T> InvariantsEq<Wrapping<T>> for T

Source§

impl<Src, Dst, A, SV, DV, R, S> MutationCompatible<Src, A, SV, DV, (BecauseRead, (R, S))> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: Read<A, R> + ?Sized, Dst: Read<A, S> + ?Sized,

Source§

impl<Src, Dst, A, SV, DV> MutationCompatible<Src, A, SV, DV, BecauseInvariantsEq> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: TransmuteFrom<Dst, DV, SV> + ?Sized, Dst: TransmuteFrom<Src, SV, DV> + InvariantsEq<Src> + ?Sized,

Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Sized for T

Source§

impl<T> TransmuteFrom<Cell<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<D<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<D<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<ManuallyDrop<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<S<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<S<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<Src, Dst> TransmuteFrom<Src, Initialized, Initialized> for Dst
where Src: ?Sized, Dst: ?Sized,

Source§

impl<Src, Dst, V> TransmuteFrom<Src, V, Uninit> for Dst
where V: Validity, Src: ?Sized, Dst: ?Sized,

Source§

impl<Src, Dst> TransmuteFrom<Src, Valid, Initialized> for Dst
where Src: IntoBytes + ?Sized, Dst: ?Sized,

Source§

impl<T> TransmuteFrom<Unalign<T>, Valid, Valid> for T

Source§

impl<T> TransmuteFrom<UnsafeCell<T>, Valid, Valid> for T
where T: ?Sized,

Source§

impl<T> TransmuteFrom<Wrapping<T>, Valid, Valid> for T

Source§

impl<Src, Dst, A, SV, DV, R> TransmuteFromPtr<Src, A, SV, DV, R> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Dst: TransmuteFrom<Src, SV, DV> + TryTransmuteFromPtr<Src, A, SV, DV, R> + ?Sized, Src: ?Sized,

Source§

impl<Src, Dst, SV, DV, A, R> TryTransmuteFromPtr<Src, A, SV, DV, (BecauseMutationCompatible, R)> for Dst
where A: Aliasing, SV: Validity, DV: Validity, Src: TransmuteFrom<Dst, DV, SV> + ?Sized, Dst: MutationCompatible<Src, A, SV, DV, R> + SizeEq<Src> + ?Sized,