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> { ... }
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> { ... }
}