Trait miri::concurrency::init_once::EvalContextExtPriv

trait EvalContextExtPriv<'tcx>: MiriInterpCxExt<'tcx> {
    // Provided method
    fn init_once_get_or_create<F>(
        &mut self,
        existing: F,
    ) -> InterpResult<'tcx, InitOnceId>
       where F: FnOnce(&mut MiriInterpCx<'tcx>, InitOnceId) -> InterpResult<'tcx, Option<InitOnceId>> { ... }
}

Provided Methods

fn init_once_get_or_create<F>( &mut self, existing: F, ) -> InterpResult<'tcx, InitOnceId>

where F: FnOnce(&mut MiriInterpCx<'tcx>, InitOnceId) -> InterpResult<'tcx, Option<InitOnceId>>,

Provides the closure with the next InitOnceId. Creates that InitOnce if the closure returns None, otherwise returns the value from the closure.

Object Safety

This trait is not object safe.

Implementors

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