chore: enable NOT for signed integers (#1789)

NOT for signed integers
noir-lang · Jun 22, 2023 · 401888c · 401888c
1 parent 1f9a132
commit 401888c
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs b/crates/noirc_evaluator/src/ssa_refactor/acir_gen/acir_ir/acir_variable.rs
@@ -366,9 +366,6 @@ impl AcirContext {
 
     /// Adds a new variable that is constrained to be the logical NOT of `x`.
     pub(crate) fn not_var(&mut self, x: AcirVar, typ: AcirType) -> Result<AcirVar, AcirGenError> {
-        if typ.is_signed() {
-            todo!("implement NOT for signed integers");
-        }
         let bit_size = typ.bit_size();
         // Subtracting from max flips the bits
         let max = self.add_constant(FieldElement::from((1_u128 << bit_size) - 1));