Allow casting u1 in comptime

noir-lang · Jan 10, 2025 · 9b42fd8 · 9b42fd8
1 parent 63cfd12
commit 9b42fd8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/compiler/noirc_frontend/src/hir/comptime/interpreter.rs b/compiler/noirc_frontend/src/hir/comptime/interpreter.rs
@@ -1424,6 +1424,7 @@ impl<'local, 'interner> Interpreter<'local, 'interner> {
 
         let (mut lhs, lhs_is_negative) = match evaluated_lhs {
             Value::Field(value) => (value, false),
+            Value::U1(value) => ((value as u128).into(), false),
             Value::U8(value) => ((value as u128).into(), false),
             Value::U16(value) => ((value as u128).into(), false),
             Value::U32(value) => ((value as u128).into(), false),