{"ast_node_type":"variable","tokens":[{"end":100,"kind":"keyword","start":0,"text":"let"}]}
                        let else_ty = self.infer_expr_inner(else_branch, expected, ExprIsRead::Yes);
                    Some(else_branch) => {
                        let else_diverges = mem::replace(&mut self.diverges, Diverges::Maybe);