fix(ssa refactor): simplify cast Field -> unsigned

noir-lang · Jun 15, 2023 · 37cead8 · 37cead8
1 parent f1fe207
commit 37cead8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs b/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
@@ -246,6 +246,10 @@ impl Instruction {
                         (
                             Type::Numeric(NumericType::Unsigned { bit_size }),
                             Type::Numeric(NumericType::Unsigned { .. }),
+                        )
+                        | (
+                            Type::Numeric(NumericType::Unsigned { bit_size }),
+                            Type::Numeric(NumericType::NativeField),
                         ) => {
                             let integer_modulus = BigUint::from(2u128).pow(*bit_size);
                             let constant: BigUint = BigUint::from_bytes_be(&constant.to_be_bytes());