Trait SizeEq 

pub trait SizeEq<Src: ?Sized> {
    type CastFrom: CastExact<Src, Self>;
}

Carries the ability to perform a size-preserving cast or conversion from a raw pointer to Src to a raw pointer to Self.

The cast/conversion is carried by the associated CastFrom type, and may be a no-op cast (without updating pointer metadata) or a conversion which updates pointer metadata.

Safety

SizeEq on its own conveys no safety guarantee. Any safety guarantees come from the safety invariants on the associated CastFrom type, specifically the CastExact bound.

Required Associated Types

type CastFrom: CastExact<Src, Self>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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

type CastFrom = CastFromWrapper

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

type CastFrom = CastFromWrapper

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

type CastFrom = CastToWrapper

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

type CastFrom = CastToWrapper

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

type CastFrom = IdCast

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

type CastFrom = CastToWrapper

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

type CastFrom = CastFromWrapper

impl<T> SizeEq<Cell<T>> for UnsafeCell<T>

where T: SizeEq<Cell<T>> + ?Sized, UnsafeCell<T>: SizeEq<T>,

type CastFrom = TransitiveProject<T, <T as SizeEq<Cell<T>>>::CastFrom, <UnsafeCell<T> as SizeEq<T>>::CastFrom>

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

type CastFrom = CastSizedExact

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

where T: SizeEq<MaybeUninit<T>>, Wrapping<T>: SizeEq<T>,

type CastFrom = TransitiveProject<T, <T as SizeEq<MaybeUninit<T>>>::CastFrom, <Wrapping<T> as SizeEq<T>>::CastFrom>

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

type CastFrom = CastSizedExact

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

type CastFrom = CastToWrapper

impl<T> SizeEq<UnsafeCell<T>> for Cell<T>

where T: SizeEq<UnsafeCell<T>> + ?Sized, Cell<T>: SizeEq<T>,

type CastFrom = TransitiveProject<T, <T as SizeEq<UnsafeCell<T>>>::CastFrom, <Cell<T> as SizeEq<T>>::CastFrom>

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

where T: SizeEq<Wrapping<T>>, MaybeUninit<T>: SizeEq<T>,

type CastFrom = TransitiveProject<T, <T as SizeEq<Wrapping<T>>>::CastFrom, <MaybeUninit<T> as SizeEq<T>>::CastFrom>

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

type CastFrom = CastFromWrapper