{"ast_node_type":"variable","tokens":[{"end":61,"kind":"keyword","start":0,"text":"if"}]}
                            if let Some(expr) = else_branch {
                            this.infer_top_pat(*pat, &ty, Some(decl));
                                let previous_diverges =