Trait EvalContextExtPriv 

trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided methods
    fn init_once_get_data<'a>(
        &'a mut self,
        init_once_ptr: &OpTy<'tcx>,
    ) -> InterpResult<'tcx, &'a WindowsInitOnce>
       where 'tcx: 'a { ... }
    fn init_once_try_begin(
        &mut self,
        init_once_ref: &InitOnceRef,
        pending_place: &MPlaceTy<'tcx>,
        dest: &MPlaceTy<'tcx>,
    ) -> InterpResult<'tcx, bool> { ... }
}

Provided Methods

fn init_once_get_data<'a>( &'a mut self, init_once_ptr: &OpTy<'tcx>, ) -> InterpResult<'tcx, &'a WindowsInitOnce>

where 'tcx: 'a,

fn init_once_try_begin( &mut self, init_once_ref: &InitOnceRef, pending_place: &MPlaceTy<'tcx>, dest: &MPlaceTy<'tcx>, ) -> InterpResult<'tcx, bool>

Returns true if we were successful, false if we would block.

Dyn Compatibility

This trait is dyn compatible.

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

Implementors

impl<'tcx> EvalContextExtPriv<'tcx> for MiriInterpCx<'tcx>