Enum Place

Source

pub(super) enum Place<Prov: Provenance = CtfeProvenance> {
    Ptr(MemPlace<Prov>),
    Local {
        local: Local,
        offset: Option<Size>,
        locals_addr: usize,
    },
}

Variants§

§

Ptr(MemPlace<Prov>)

A place referring to a value allocated in the Memory system.

§

Local

To support alloc-free locals, we are able to write directly to a local. The offset indicates where in the local this place is located; if it is None, no projection has been applied and the type of the place is exactly the type of the local. Such projections are meaningful even if the offset is 0, since they can change layouts. (Without that optimization, we’d just always be a MemPlace.) Local places always refer to the current stack frame, so they are unstable under function calls/returns and switching betweens stacks of different threads! We carry around the address of the locals buffer of the correct stack frame as a sanity check to be able to catch some cases of using a dangling Place.

This variant shall not be used for unsized types – those must always live in memory.

Fields

§local: Local

§offset: Option<Size>

§locals_addr: usize

Enum PlaceCopy item path

Variants§

Ptr(MemPlace<Prov>)

Local

Fields

Trait Implementations§

impl<Prov: Clone + Provenance> Clone for Place<Prov>

fn clone(&self) -> Place<Prov>

fn clone_from(&mut self, source: &Self)

impl<Prov: Debug + Provenance> Debug for Place<Prov>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

impl<Prov: Copy + Provenance> Copy for Place<Prov>

Auto Trait Implementations§

impl<Prov> DynSend for Place<Prov>where Prov: DynSend,

impl<Prov> DynSync for Place<Prov>where Prov: DynSync,

impl<Prov> Freeze for Place<Prov>where Prov: Freeze,

impl<Prov> RefUnwindSafe for Place<Prov>where Prov: RefUnwindSafe,

impl<Prov> Send for Place<Prov>where Prov: Send,

impl<Prov> Sync for Place<Prov>where Prov: Sync,

impl<Prov> Unpin for Place<Prov>where Prov: Unpin,

impl<Prov> UnwindSafe for Place<Prov>where Prov: UnwindSafe,

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

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

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]

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<T> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dst: *mut u8)

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

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<I, T, U> Upcast<I, U> for Twhere U: UpcastFrom<I, T>,

fn upcast(self, interner: I) -> U

Enum Place

impl<Prov> DynSend for Place<Prov>
where Prov: DynSend,

impl<Prov> DynSync for Place<Prov>
where Prov: DynSync,

impl<Prov> Freeze for Place<Prov>
where Prov: Freeze,

impl<Prov> RefUnwindSafe for Place<Prov>
where Prov: RefUnwindSafe,

impl<Prov> Send for Place<Prov>
where Prov: Send,

impl<Prov> Sync for Place<Prov>
where Prov: Sync,

impl<Prov> Unpin for Place<Prov>
where Prov: Unpin,

impl<Prov> UnwindSafe for Place<Prov>
where Prov: UnwindSafe,

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

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for T
where T: Copy,

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

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

impl<T> CloneToUninit for T
where T: Clone,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

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

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

impl<I, T, U> Upcast<I, U> for T
where U: UpcastFrom<I, T>,

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,