{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"self.infcx.err_ctxt().extract_inference_diagnostics_data(ty.into(),"}]}
            self.infcx.err_ctxt().extract_inference_diagnostics_data(ty.into(), highlight).name;
        let type_name =