{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":".instantiate(self.infcx.tcx,"}]}
                    .instantiate(self.infcx.tcx, &[region.into()]);
                    .type_of(va_list_did)