{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//"}]}
            // Manually inlined `self.unification_table_mut()` as `self` is used in the closure.
            *any_unifications = false;
            ut::UnificationTable::with_log(&mut self.storage.unification_table, &mut self.undo_log)