Struct PlaceTy 

pub struct PlaceTy<'tcx, Prov: Provenance = CtfeProvenance> {
    place: Place<Prov>,
    pub layout: TyAndLayout<'tcx>,
}

An evaluated place, together with its type.

This may reference a stack frame by its index, so PlaceTy should generally not be kept around for longer than a single operation. Popping and then pushing a stack frame can make PlaceTy point to the wrong destination. If the interpreter has multiple stacks, stack switching will also invalidate a PlaceTy.

Fields

place: Place<Prov>

layout: TyAndLayout<'tcx>

Implementations

impl<'tcx, Prov: Provenance> PlaceTy<'tcx, Prov>

pub(super) fn place(&self) -> &Place<Prov>

pub fn as_mplace_or_local( &self, ) -> Either<MPlaceTy<'tcx, Prov>, (Local, Option<Size>, usize, TyAndLayout<'tcx>)>

A place is either an mplace or some local.

Note that the return value can be different even for logically identical places! Specifically, if a local is stored in-memory, this may return Local or MPlaceTy depending on how the place was constructed. In other words, seeing Local here does not imply that this place does not point to memory. Every caller must therefore always handle both cases.

pub fn assert_mem_place(&self) -> MPlaceTy<'tcx, Prov>

Trait Implementations

impl<'tcx, Prov: Clone + Provenance> Clone for PlaceTy<'tcx, Prov>

fn clone(&self) -> PlaceTy<'tcx, Prov>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<Prov: Provenance> Debug for PlaceTy<'_, Prov>

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

Formats the value using the given formatter.

impl<'tcx, Prov: Provenance> From<MPlaceTy<'tcx, Prov>> for PlaceTy<'tcx, Prov>

fn from(mplace: MPlaceTy<'tcx, Prov>) -> Self

Converts to this type from the input type.

impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for PlaceTy<'tcx, Prov>

fn layout(&self) -> TyAndLayout<'tcx>

Get the layout.

fn meta(&self) -> MemPlaceMeta<Prov>

Get the metadata of a wide value.

fn offset_with_meta<M: Machine<'tcx, Provenance = Prov>>( &self, offset: Size, mode: OffsetMode, meta: MemPlaceMeta<Prov>, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'tcx, M>, ) -> InterpResult<'tcx, Self>

Offset the value by the given amount, replacing the layout and metadata.

fn to_op<M: Machine<'tcx, Provenance = Prov>>( &self, ecx: &InterpCx<'tcx, M>, ) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>>

Convert this to an OpTy. This might be an irreversible transformation, but is useful for reading from this thing.

fn len<M: Machine<'tcx, Provenance = Prov>>( &self, ecx: &InterpCx<'tcx, M>, ) -> InterpResult<'tcx, u64>

Get the length of a slice/string/array stored here.

fn offset<M: Machine<'tcx, Provenance = Prov>>( &self, offset: Size, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'tcx, M>, ) -> InterpResult<'tcx, Self>

fn transmute<M: Machine<'tcx, Provenance = Prov>>( &self, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'tcx, M>, ) -> InterpResult<'tcx, Self>

This does an offset-by-zero, which is effectively a transmute. Note however that not all transmutes are supported by all projectables – specifically, if this is an OpTy or ImmTy, the new layout must have almost the same ABI as the old one (only changing the valid_range is allowed and turning integers into pointers).

impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for PlaceTy<'tcx, Prov>

fn to_place(&self) -> PlaceTy<'tcx, Prov>

fn force_mplace<M: Machine<'tcx, Provenance = Prov>>( &self, ecx: &mut InterpCx<'tcx, M>, ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.