Struct rustc_const_eval::interpret::AllocRef

pub struct AllocRef<'a, 'tcx, Tag, Extra> {
    alloc: &'a Allocation<Tag, Extra>,
    range: AllocRange,
    tcx: TyCtxt<'tcx>,
    alloc_id: AllocId,
}

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: AllocRange

tcx: TyCtxt<'tcx>

alloc_id: AllocId

Implementations

impl<'tcx, 'a, Tag: Provenance, Extra> AllocRef<'a, 'tcx, Tag, Extra>

pub fn read_scalar(
    &self,
    range: AllocRange,
    read_provenance: bool
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>

pub fn read_integer(
    &self,
    offset: Size,
    size: Size
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>

pub fn read_pointer(
    &self,
    offset: Size
) -> InterpResult<'tcx, ScalarMaybeUninit<Tag>>

pub fn check_bytes(
    &self,
    range: AllocRange,
    allow_uninit: bool,
    allow_ptr: bool
) -> InterpResult<'tcx>

Trait Implementations

impl<'a, 'tcx, Tag: Clone, Extra: Clone> Clone for AllocRef<'a, 'tcx, Tag, Extra>

fn clone(&self) -> AllocRef<'a, 'tcx, Tag, Extra>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, 'tcx, Tag: Copy, Extra: Copy> Copy for AllocRef<'a, 'tcx, Tag, Extra>

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