Expand description
Computations on places โ field projections, going from mir::Place, and writing into a place. All high-level functions to write to memory work on places as destinations.
Re-exportsยง
use std::assert_matches;๐use either::Either;๐use either::Left;๐use either::Right;๐use rustc_abi::BackendRepr;๐use rustc_abi::HasDataLayout;๐use rustc_abi::Size;๐use rustc_middle::mir;๐use rustc_middle::ty::layout::TyAndLayout;๐use rustc_middle::ty;๐use rustc_middle::ty::Ty;๐use rustc_span::bug;๐use rustc_span::span_bug;๐use tracing::field::Empty;๐use tracing::instrument;๐use tracing::instrument;๐use tracing::trace;๐use super::AllocInit;๐use super::AllocRef;๐use super::AllocRefMut;๐use super::CheckAlignMsg;๐use super::CheckInAllocMsg;๐use super::CtfeProvenance;๐use super::ImmTy;๐use super::Immediate;๐use super::InterpCx;๐use super::InterpResult;๐use super::Machine;๐use super::MemoryKind;๐use super::Misalignment;๐use super::OffsetMode;๐use super::OpTy;๐use super::Operand;๐use super::Pointer;๐use super::Projectable;๐use super::Provenance;๐use super::Scalar;๐use super::alloc_range;๐use super::err_ub;๐use super::err_ub_format;๐use super::interp_ok;๐use super::mir_assign_valid_types;๐use super::throw_ub_format;๐use crate::enter_trace_span;๐
Modulesยง
- size_
asserts ๐
Structsยง
- MPlace
Ty - A MemPlace with its layout. Constructing it is only possible in this module.
- MemPlace ๐
- PlaceTy
- An evaluated place, together with its type.
Enumsยง
- MemPlace
Meta - Information required for the sound usage of a
MemPlace. - Place ๐
Traitsยง
- Writeable
- The
Weiteabletrait describes interpreter values that can be written to.