From 5be99bf1c2ff63633a1e28be79f7e5df84eb90a5 Mon Sep 17 00:00:00 2001
From: misomosi <misomosispi@gmail.com>
Date: Sun, 28 Jun 2026 19:25:22 -0400
Subject: [PATCH] Add missing check_is_expressible

---
 src/check_expr.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/check_expr.cpp b/src/check_expr.cpp
index 79e1154a1..5a95a5dbb 100644
--- a/src/check_expr.cpp
+++ b/src/check_expr.cpp
@@ -3421,6 +3421,8 @@ gb_internal void check_shift(CheckerContext *c, Operand *x, Operand *y, Ast *nod
 				x->expr = node;
 				x->value = exact_value_shift(be->op.kind, exact_value_to_integer(x->value), exact_value_to_integer(y->value));
 
+				check_is_expressible(c, x, x->type);
+
 				return;
 			}