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());