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§
fn init_once_get_id( &mut self, init_once_op: &OpTy<'tcx>, ) -> InterpResult<'tcx, InitOnceId>
sourcefn init_once_try_begin(
&mut self,
id: InitOnceId,
pending_place: &MPlaceTy<'tcx>,
dest: &MPlaceTy<'tcx>,
) -> InterpResult<'tcx, bool>
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.