From 37cead8e448911a4a7ea26be0b753a9e3c925934 Mon Sep 17 00:00:00 2001
From: Joss <joss@aztecprotocol.com>
Date: Thu, 15 Jun 2023 17:12:39 +0100
Subject: [PATCH] fix(ssa refactor): simplify cast Field -> unsigned

---
 crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs b/crates/noirc_evaluator/src/ssa_refactor/ir/instruction.rs
index 7fe519cd84b..5722b8e2a27 100644
--- 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());