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