{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"if"}]}
            if let (Ok(result1), Ok(result2)) = (result1, result2) {
            let result2 = ctx.table.coerce_inner(expr_ty.clone(), &target_ty, CoerceNever::Yes);
                ctx.table.register_infer_ok(InferOk { value: (), goals: result1.goals });