diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 4709691c5..b4b1ce361 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -9899,6 +9899,7 @@ gb_internal ExprKind check_or_else_expr(CheckerContext *c, Operand *o, Ast *node
 				if (is_diverging_expr(y.expr)) {
 					// Allow
 					y.mode = Addressing_Value;
+					y.type = x.type;
 					y_is_diverging = true;
 				} else {
 					error_operand_no_value(&y);