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