{"ast_node_type":"other","tokens":[{"end":99,"kind":"keyword","start":0,"text":"ut::UnificationTable::with_log(&mut"}]}
            ut::UnificationTable::with_log(&mut self.storage.unification_table, &mut self.undo_log)
            // Manually inlined `self.unification_table_mut()` as `self` is used in the closure.
                .reset_unifications(|key| RegionVariableValue::Unknown {