{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"debug!(?ub);"}]}
            debug!(?ub);
        for ub in self.reverse_scc_graph().upper_bounds(scc) {
            choice_regions.retain(|&o_r| universal_region_relations.outlives(ub, o_r));