{"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(expr) = expr {
                ctx.table.register_infer_ok(InferOk { value: (), goals: result2.goals });
                    ctx.write_expr_adj(expr, result2.value.0.into_boxed_slice());