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;
 			}