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", so this trait is not object safe.

Implementors

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<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

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<MaybeUninit<T>> for T

type CastFrom = CastSizedExact

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

type CastFrom = CastToWrapper

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

type CastFrom = CastSizedExact

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

type CastFrom = CastFromWrapper

impl<T: ?Sized> SizeEq<UnsafeCell<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 UnsafeCell<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