Trait EvalContextExtPriv

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

Provided Methods

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

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

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

Implementors

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