miri::borrow_trackerTrait EvalContextExt
Source pub trait EvalContextExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn retag_ptr_value(
&mut self,
kind: RetagKind,
val: &ImmTy<'tcx>,
) -> InterpResult<'tcx, ImmTy<'tcx>> { ... }
fn retag_place_contents(
&mut self,
kind: RetagKind,
place: &PlaceTy<'tcx>,
) -> InterpResult<'tcx> { ... }
fn protect_place(
&mut self,
place: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, MPlaceTy<'tcx>> { ... }
fn expose_tag(
&mut self,
alloc_id: AllocId,
tag: BorTag,
) -> InterpResult<'tcx> { ... }
fn give_pointer_debug_name(
&mut self,
ptr: Pointer,
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<'tcx, Provenance, FrameExtra<'tcx>>,
) -> InterpResult<'tcx> { ... }
}