Trait miri::borrow_tracker::EvalContextExt

pub trait EvalContextExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    // Provided methods
    fn retag_ptr_value(
        &mut self,
        kind: RetagKind,
        val: &ImmTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>> { ... }
    fn retag_place_contents(
        &mut self,
        kind: RetagKind,
        place: &PlaceTy<'tcx, Provenance>
    ) -> InterpResult<'tcx> { ... }
    fn protect_place(
        &mut self,
        place: &MPlaceTy<'tcx, Provenance>
    ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>> { ... }
    fn expose_tag(
        &mut self,
        alloc_id: AllocId,
        tag: BorTag
    ) -> InterpResult<'tcx> { ... }
    fn give_pointer_debug_name(
        &mut self,
        ptr: Pointer<Option<Provenance>>,
        nth_parent: u8,
        name: &str
    ) -> InterpResult<'tcx> { ... }
    fn print_borrow_state(
        &mut self,
        alloc_id: AllocId,
        show_unnamed: bool
    ) -> InterpResult<'tcx> { ... }
    fn on_stack_pop(
        &self,
        frame: &Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>>
    ) -> InterpResult<'tcx> { ... }
}

Provided Methods

fn retag_ptr_value( &mut self, kind: RetagKind, val: &ImmTy<'tcx, Provenance> ) -> InterpResult<'tcx, ImmTy<'tcx, Provenance>>

fn retag_place_contents( &mut self, kind: RetagKind, place: &PlaceTy<'tcx, Provenance> ) -> InterpResult<'tcx>

fn protect_place( &mut self, place: &MPlaceTy<'tcx, Provenance> ) -> InterpResult<'tcx, MPlaceTy<'tcx, Provenance>>

fn expose_tag(&mut self, alloc_id: AllocId, tag: BorTag) -> InterpResult<'tcx>

fn give_pointer_debug_name( &mut self, ptr: Pointer<Option<Provenance>>, nth_parent: u8, name: &str ) -> InterpResult<'tcx>

fn print_borrow_state( &mut self, alloc_id: AllocId, show_unnamed: bool ) -> InterpResult<'tcx>

fn on_stack_pop( &self, frame: &Frame<'mir, 'tcx, Provenance, FrameExtra<'tcx>> ) -> InterpResult<'tcx>

Implementors

impl<'mir, 'tcx: 'mir> EvalContextExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>