Enum Shared

Source

pub enum Shared {}

Expand description

The Ptr<'a, T> adheres to the aliasing rules of a &'a T.

The referent of a shared-aliased Ptr may be concurrently referenced by any number of shared-aliased Ptr or &T references, or by any number of Ptr or &U references as permitted by T’s library safety invariants, and may not be concurrently referenced by any exclusively-aliased Ptrs or &mut references. The referent must not be mutated, except via UnsafeCells, and only when permitted by T’s library safety invariants.

Shared

Enum Shared Copy item path

Trait Implementations§

impl Aliasing for Shared

const IS_EXCLUSIVE: bool = false

impl Reference for Shared

Auto Trait Implementations§

impl Freeze for Shared

impl RefUnwindSafe for Shared

impl Send for Shared

impl Sync for Shared

impl Unpin for Shared

impl UnsafeUnpin for Shared

impl UnwindSafe for Shared

Blanket Implementations§

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

fn type_id(&self) -> TypeId

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

fn borrow(&self) -> &T

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

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

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

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

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Identity for Twhere T: ?Sized,

type Type = T

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

fn into(self) -> U

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

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

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

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

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

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

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

type CastFrom = CastFromWrapper

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

type CastFrom = CastFromWrapper

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

type CastFrom = CastSizedExact

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

type CastFrom = IdCast

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

type CastFrom = CastFromWrapper

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

type CastFrom = CastFromWrapper

impl<T> SizedTypeProperties for T

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

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

#[doc(hidden)]const ALIGNMENT: Alignment = _

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

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

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

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

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

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

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

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

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

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

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

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

type Error = Infallible

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

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

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

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

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

impl<Src, Dst, SV, DV, C> TryTransmuteFromPtr<Src, Shared, SV, DV, C, BecauseImmutable> for Dstwhere SV: Validity, DV: Validity, Src: Immutable + ?Sized, Dst: Immutable + ?Sized, C: CastExact<Src, Dst>,

Enum Shared

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

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

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

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

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

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

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

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

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

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

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,

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

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

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

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

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

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

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

#[doc(hidden)]
const ALIGNMENT: Alignment = _

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

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

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

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

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

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

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

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

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

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

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

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

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

impl<Src, Dst, SV, DV, C> TryTransmuteFromPtr<Src, Shared, SV, DV, C, BecauseImmutable> for Dst
where SV: Validity, DV: Validity, Src: Immutable + ?Sized, Dst: Immutable + ?Sized, C: CastExact<Src, Dst>,