{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            choice_regions.retain(|&o_r| universal_region_relations.outlives(ub, o_r));
        debug!(?choice_regions, "after ub");