{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"inner.undo_log.push(UndoLog::PushHirTypeckPotentiallyRegionDependentGoal);"}]}
        inner.undo_log.push(UndoLog::PushHirTypeckPotentiallyRegionDependentGoal);
        let mut inner = self.inner.borrow_mut();
        inner.hir_typeck_potentially_region_dependent_goals.push(goal);