pub fn recover()Expand description
Makes the runtime ready to go on after a caught throw, and ends the
call enter marked. It frees every value handle and builder made
after that mark and before the throw: what the abandoned frames
held, since a program keeps no handle across a call of the host but its
literals, made before any. Then it clears has_thrown. A handle that
thrown made stays. Without a mark it frees nothing.