Trait miri::concurrency::thread::EvalContextPrivExt

trait EvalContextPrivExt<'mir, 'tcx: 'mir>: MiriInterpCxExt<'mir, 'tcx> {
    fn run_timeout_callback(&mut self) -> InterpResult<'tcx> { ... }
    fn run_on_stack_empty(&mut self) -> InterpResult<'tcx, Poll<()>> { ... }
}

Provided Methods

fn run_timeout_callback(&mut self) -> InterpResult<'tcx>

Execute a timeout callback on the callback’s thread.

fn run_on_stack_empty(&mut self) -> InterpResult<'tcx, Poll<()>>

Implementors

impl<'mir, 'tcx: 'mir> EvalContextPrivExt<'mir, 'tcx> for MiriInterpCx<'mir, 'tcx>