{"ast_node_type":"variable","tokens":[{"end":23,"kind":"keyword","start":0,"text":"let"}]}
        let type_name =
        highlight.highlighting_region_vid(self.infcx.tcx, needle_fr, counter);
            self.infcx.err_ctxt().extract_inference_diagnostics_data(ty.into(), highlight).name;