{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
        let mut highlight = RegionHighlightMode::default();
    ) -> RegionNameHighlight {
        highlight.highlighting_region_vid(self.infcx.tcx, needle_fr, counter);