{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"inner.hir_typeck_potentially_region_dependent_goals.push(goal);"}]}
        inner.hir_typeck_potentially_region_dependent_goals.push(goal);
        inner.undo_log.push(UndoLog::PushHirTypeckPotentiallyRegionDependentGoal);
    }