Documentation for phasers UNDO assembled from the following types:

language documentation Phasers

From Phasers

(Phasers) phasers UNDO

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