Trait miri::concurrency::thread::EvalContextPrivExt
source · trait EvalContextPrivExt<'tcx>: MiriInterpCxExt<'tcx> {
// Provided methods
fn run_timeout_callback(&mut self) -> InterpResult<'tcx> { ... }
fn run_on_stack_empty(&mut self) -> InterpResult<'tcx, Poll<()>> { ... }
}
Provided Methods§
sourcefn run_timeout_callback(&mut self) -> InterpResult<'tcx>
fn run_timeout_callback(&mut self) -> InterpResult<'tcx>
Execute a timeout callback on the callback’s thread.