{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                // will increment the counter, "reserving" the number we just used.
                // the anonymous region. If it succeeds, the `synthesize_region_name` call below
                let counter = *self.next_region_name.try_borrow().unwrap();