{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"UndoLog::RegionConstraintCollector(undo)"}]}
            UndoLog::RegionConstraintCollector(undo) => {
            UndoLog::FloatUnificationTable(undo) => self.float_unification_storage.reverse(undo),
                self.region_constraint_storage.as_mut().unwrap().reverse(undo)