{"ast_node_type":"variable","tokens":[{"end":81,"kind":"keyword","start":0,"text":"if"}]}
        if let Err(mut err) = self.demand_eqtype_pat_diag(span, var_ty, ty, ti) {
        let var_ty = self.local_ty(span, var_id);
            let var_ty = self.resolve_vars_if_possible(var_ty);