{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
                // Push the constraint `fr-: shorter_fr+`
            for fr in shorter_fr_plus {
                propagated_outlives_requirements.push(ClosureOutlivesRequirement {