Trait MiriInterpCxExt 

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>;
}

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

Required Methods

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

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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

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