{"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"self.scc_values"}]}
            self.scc_values
        choice_regions.retain(|&o_r| {
                .universal_regions_outlived_by(scc)