{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
        let _ = self.demand_eqtype_pat(pat.span, eq_ty, local_ty, &ti);
        // We have a concrete type for the local, so we do not need to taint it and hide follow up errors *using* the local.