miri::machine

Trait MiriInterpCxExt

source
pub trait MiriInterpCxExt<'tcx> {
    // Required methods
    fn eval_context_ref<'a>(&'a self) -> &'a MiriInterpCx<'tcx>;
    fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriInterpCx<'tcx>;
}
Expand description

A little trait that’s useful to be inherited by extension traits.

Required Methods§

source

fn eval_context_ref<'a>(&'a self) -> &'a MiriInterpCx<'tcx>

source

fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriInterpCx<'tcx>

Implementors§

source§

impl<'tcx> MiriInterpCxExt<'tcx> for MiriInterpCx<'tcx>