{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"highlight.highlighting_region_vid(tcx,"}]}
        highlight.highlighting_region_vid(tcx, fr, *self.next_region_name.try_borrow().unwrap());
        let mut highlight = RegionHighlightMode::default();
        let type_name = self