In Phasers§

See primary documentation in context for UNDO.

Runs at every unsuccessful block exit, as part of the LEAVE queue (shares the same order of execution).