{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"for"}]}
        for shorter_fr in self.scc_values.universal_regions_outlived_by(longer_fr_scc) {
        let mut error_reported = false;
            if let RegionRelationCheckResult::Error = self.check_universal_region_relation(