{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"subject:"}]}
                    subject: ClosureOutlivesSubject::Region(fr_minus),
                propagated_outlives_requirements.push(ClosureOutlivesRequirement {
                    outlived_free_region: fr,