{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"*region"}]}
        *region = self.renumber_regions(old_region, || RegionCtxt::Location(location));
        let old_region = *region;