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 */);