Trait miri::shims::windows::sync::EvalContextExtPriv

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

Provided Methods§

source

fn init_once_get_id( &mut self, init_once_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, InitOnceId>

source

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§

source§

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