{"ast_node_type":"other","tokens":[{"end":11,"kind":"keyword","start":0,"text":"});"}]}
        });
                .all(|lb| self.universal_region_relations.outlives(o_r, lb))
        debug!(?choice_regions, "after lb");