Type Alias miri::StackEmptyCallback

source ·
pub type StackEmptyCallback<'mir, 'tcx> = Box<dyn FnMut(&mut MiriInterpCx<'mir, 'tcx>) -> InterpResult<'tcx, Poll<()>> + 'tcx>;

Aliased Type§

struct StackEmptyCallback<'mir, 'tcx>(/* private fields */);