Struct rustc_const_eval::interpret::place::PlaceTy
source · pub struct PlaceTy<'tcx, Prov: Provenance = AllocId> {
place: Place<Prov>,
pub layout: TyAndLayout<'tcx>,
pub align: Align,
}
Fields§
§place: Place<Prov>
§layout: TyAndLayout<'tcx>
§align: Align
rustc does not have a proper way to represent the type of a field of a repr(packed)
struct:
it needs to have a different alignment than the field type would usually have.
So we represent this here with a separate field that “overwrites” layout.align
.
This means layout.align
should never be used for a PlaceTy
!
Implementations§
source§impl<'tcx, Prov: Provenance> PlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> PlaceTy<'tcx, Prov>
Trait Implementations§
source§impl<Prov: Provenance> Debug for PlaceTy<'_, Prov>
impl<Prov: Provenance> Debug for PlaceTy<'_, Prov>
source§impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for PlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for PlaceTy<'tcx, Prov>
source§fn layout(&self) -> TyAndLayout<'tcx>
fn layout(&self) -> TyAndLayout<'tcx>
Get the layout.
source§fn meta(&self) -> MemPlaceMeta<Prov>
fn meta(&self) -> MemPlaceMeta<Prov>
Get the metadata of a wide value.
source§fn offset_with_meta<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
offset: Size,
meta: MemPlaceMeta<Prov>,
layout: TyAndLayout<'tcx>,
ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, Self>
fn offset_with_meta<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, offset: Size, meta: MemPlaceMeta<Prov>, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
Offset the value by the given amount, replacing the layout and metadata.
source§fn to_op<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, OpTy<'tcx, M::Provenance>>
fn to_op<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, ecx: &InterpCx<'mir, '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.source§fn len<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>(
&self,
ecx: &InterpCx<'mir, 'tcx, M>
) -> InterpResult<'tcx, u64>
fn len<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, u64>
Get the length of a slice/string/array stored here.
fn offset<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, offset: Size, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
fn transmute<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, layout: TyAndLayout<'tcx>, ecx: &InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, Self>
source§impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for PlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for PlaceTy<'tcx, Prov>
fn as_mplace_or_local( &self ) -> Either<MPlaceTy<'tcx, Prov>, (usize, Local, Option<Size>, Align, TyAndLayout<'tcx>)>
fn force_mplace<'mir, M: Machine<'mir, 'tcx, Provenance = Prov>>( &self, ecx: &mut InterpCx<'mir, 'tcx, M> ) -> InterpResult<'tcx, MPlaceTy<'tcx, Prov>>
Auto Trait Implementations§
impl<'tcx, Prov = AllocId> !RefUnwindSafe for PlaceTy<'tcx, Prov>
impl<'tcx, Prov> Send for PlaceTy<'tcx, Prov>where Prov: Send,
impl<'tcx, Prov> Sync for PlaceTy<'tcx, Prov>where Prov: Sync,
impl<'tcx, Prov> Unpin for PlaceTy<'tcx, Prov>where Prov: Unpin,
impl<'tcx, Prov = AllocId> !UnwindSafe for PlaceTy<'tcx, Prov>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
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.