Struct rustc_const_eval::interpret::AllocRef
source · [−]pub struct AllocRef<'a, 'tcx, Tag, Extra> {
alloc: &'a Allocation<Tag, Extra>,
range: AllocRange,
tcx: TyCtxt<'tcx>,
alloc_id: AllocId,
}Expand description
A reference to some allocation that was already bounds-checked for the given region and had the on-access machine hooks run.
Fields
alloc: &'a Allocation<Tag, Extra>range: AllocRangetcx: TyCtxt<'tcx>alloc_id: AllocIdImplementations
sourceimpl<'tcx, 'a, Tag: Provenance, Extra> AllocRef<'a, 'tcx, Tag, Extra>
impl<'tcx, 'a, Tag: Provenance, Extra> AllocRef<'a, 'tcx, Tag, Extra>
pub fn read_scalar(
&self,
range: AllocRange
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>
pub fn read_ptr_sized(
&self,
offset: Size
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>
pub fn check_bytes(
&self,
range: AllocRange,
allow_uninit_and_ptr: bool
) -> InterpResult<'tcx>
Trait Implementations
impl<'a, 'tcx, Tag: Copy, Extra: Copy> Copy for AllocRef<'a, 'tcx, Tag, Extra>
Auto Trait Implementations
impl<'a, 'tcx, Tag, Extra> !RefUnwindSafe for AllocRef<'a, 'tcx, Tag, Extra>
impl<'a, 'tcx, Tag, Extra> !Send for AllocRef<'a, 'tcx, Tag, Extra>
impl<'a, 'tcx, Tag, Extra> !Sync for AllocRef<'a, 'tcx, Tag, Extra>
impl<'a, 'tcx, Tag, Extra> Unpin for AllocRef<'a, 'tcx, Tag, Extra>
impl<'a, 'tcx, Tag, Extra> !UnwindSafe for AllocRef<'a, 'tcx, Tag, Extra>
Blanket Implementations
sourceimpl<T> BorrowMut<T> for T where
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
const: unstable · sourcepub fn borrow_mut(&mut self) -> &mut T
pub fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
sourceimpl<T> ToOwned for T where
T: Clone,
impl<T> ToOwned for T where
T: Clone,
type Owned = T
type Owned = T
The resulting type after obtaining ownership.
sourcepub fn to_owned(&self) -> T
pub fn to_owned(&self) -> T
Creates owned data from borrowed data, usually by cloning. Read more
sourcepub fn clone_into(&self, target: &mut T)
pub fn clone_into(&self, target: &mut T)
🔬 This is a nightly-only experimental API. (
toowned_clone_into)Uses borrowed data to replace owned data, usually by cloning. Read more
Layout
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.
Size: 40 bytes