{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(expr) = expr {
                // FIXME: diagnose return outside of function
                    self.infer_expr_no_expect(expr, ExprIsRead::Yes);