{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":")"}]}
    ) -> RegionRelationCheckResult {
        propagated_outlives_requirements: &mut Option<&mut Vec<ClosureOutlivesRequirement<'tcx>>>,
        // If it is known that `fr: o`, carry on.