Trait miri::machine::MiriEvalContextExt

source · [−]

pub trait MiriEvalContextExt<'mir, 'tcx> {
    fn eval_context_ref<'a>(&'a self) -> &'a MiriEvalContext<'mir, 'tcx>;
    fn eval_context_mut<'a>(&'a mut self) -> &'a mut MiriEvalContext<'mir, 'tcx>;
}

Expand description

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

Required Methods

fn eval_context_ref<'a>(&'a self) -> &'a MiriEvalContext<'mir, 'tcx>

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

Implementors

impl<'mir, 'tcx> MiriEvalContextExt<'mir, 'tcx> for MiriEvalContext<'mir, 'tcx>