Trait miri::concurrency::init_once::EvalContextExtPriv
source · trait EvalContextExtPriv<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
fn init_once_observe_attempt(&mut self, id: InitOnceId) { ... }
fn init_once_wake_waiter(
&mut self,
id: InitOnceId,
waiter: InitOnceWaiter<'mir, 'tcx>
) -> InterpResult<'tcx> { ... }
}
Provided Methods§
sourcefn init_once_observe_attempt(&mut self, id: InitOnceId)
fn init_once_observe_attempt(&mut self, id: InitOnceId)
Synchronize with the previous initialization attempt of an InitOnce.