Trait miri::MiriInterpCxExt

source ·
pub trait MiriInterpCxExt<'mir, 'tcx> {
    // Required methods
    fn eval_context_ref<'a>(&'a self) -> &'a MiriInterpCx<'mir, 'tcx>;
    fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriInterpCx<'mir, '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<'mir, 'tcx>

source

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

Implementors§

source§

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