{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":".universal_regions_outlived_by(scc)"}]}
                .universal_regions_outlived_by(scc)
            self.scc_values
                .all(|lb| self.universal_region_relations.outlives(o_r, lb))