{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"propagated_outlives_requirements.push(ClosureOutlivesRequirement"}]}
                propagated_outlives_requirements.push(ClosureOutlivesRequirement {
                // Push the constraint `fr-: shorter_fr+`
                    subject: ClosureOutlivesSubject::Region(fr_minus),