Struct rustc_const_eval::interpret::MPlaceTy
source · pub struct MPlaceTy<'tcx, Prov: Provenance = AllocId> {
mplace: MemPlace<Prov>,
pub layout: TyAndLayout<'tcx>,
pub align: Align,
}
Expand description
A MemPlace with its layout. Constructing it is only possible in this module.
Fields§
§mplace: MemPlace<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 MPlaceTy
!
Implementations§
source§impl<'tcx, Prov: Provenance> MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> MPlaceTy<'tcx, Prov>
sourcepub fn fake_alloc_zst(layout: TyAndLayout<'tcx>) -> Self
pub fn fake_alloc_zst(layout: TyAndLayout<'tcx>) -> Self
Produces a MemPlace that works for ZST but nothing else. Conceptually this is a new allocation, but it doesn’t actually create an allocation so you don’t need to worry about memory leaks.
pub fn from_aligned_ptr( ptr: Pointer<Option<Prov>>, layout: TyAndLayout<'tcx> ) -> Self
pub fn from_aligned_ptr_with_meta( ptr: Pointer<Option<Prov>>, layout: TyAndLayout<'tcx>, meta: MemPlaceMeta<Prov> ) -> Self
sourcepub fn map_provenance(
self,
f: impl FnOnce(Option<Prov>) -> Option<Prov>
) -> Self
pub fn map_provenance( self, f: impl FnOnce(Option<Prov>) -> Option<Prov> ) -> Self
Adjust the provenance of the main pointer (metadata is unaffected).
pub(super) fn mplace(&self) -> &MemPlace<Prov>
pub fn ptr(&self) -> Pointer<Option<Prov>>
pub fn to_ref(&self, cx: &impl HasDataLayout) -> Immediate<Prov>
Trait Implementations§
source§impl<Prov: Provenance> Debug for MPlaceTy<'_, Prov>
impl<Prov: Provenance> Debug for MPlaceTy<'_, Prov>
source§impl<'tcx, Prov: PartialEq + Provenance> PartialEq<MPlaceTy<'tcx, Prov>> for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: PartialEq + Provenance> PartialEq<MPlaceTy<'tcx, Prov>> for MPlaceTy<'tcx, Prov>
source§impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Projectable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
source§fn layout(&self) -> TyAndLayout<'tcx>
fn layout(&self) -> TyAndLayout<'tcx>
source§fn meta(&self) -> MemPlaceMeta<Prov>
fn meta(&self) -> MemPlaceMeta<Prov>
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>
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>>
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>
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> Readable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Readable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
source§impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> Writeable<'tcx, Prov> for MPlaceTy<'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>>
impl<'tcx, Prov: Eq + Provenance> Eq for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> StructuralEq for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov: Provenance> StructuralPartialEq for MPlaceTy<'tcx, Prov>
Auto Trait Implementations§
impl<'tcx, Prov = AllocId> !RefUnwindSafe for MPlaceTy<'tcx, Prov>
impl<'tcx, Prov> Send for MPlaceTy<'tcx, Prov>where Prov: Send,
impl<'tcx, Prov> Sync for MPlaceTy<'tcx, Prov>where Prov: Sync,
impl<'tcx, Prov> Unpin for MPlaceTy<'tcx, Prov>where Prov: Unpin,
impl<'tcx, Prov = AllocId> !UnwindSafe for MPlaceTy<'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
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.