{"ast_node_type":"variable","tokens":[{"end":86,"kind":"keyword","start":0,"text":"let"}]}
            let init_ty = self.check_expr_with_needs(init, Needs::maybe_mut_place(m));
            // supertype thereof.
            if let Err(mut diag) = self.demand_eqtype_diag(init.span, local_ty, init_ty) {