{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":".reset_unifications(|key|"}]}
                .reset_unifications(|key| RegionVariableValue::Unknown {
            ut::UnificationTable::with_log(&mut self.storage.unification_table, &mut self.undo_log)
                    universe: self.storage.var_infos[key.vid].universe,