{"ast_node_type":"variable","tokens":[{"end":92,"kind":"keyword","start":0,"text":"let"}]}
        let span = ty.ty_vid().map_or(DUMMY_SP, |vid| self.infcx.type_var_origin(vid).span);
        self.demand_eqtype(span, ty, fallback);