{"ast_node_type":"variable","tokens":[{"end":88,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(propagated_outlives_requirements) = propagated_outlives_requirements
    ) -> RegionRelationCheckResult {
            // Shrink `longer_fr` until we find a non-local region (if we do).