remove assert_constant case from brillig_block

noir-lang · Sep 6, 2023 · 2c695e3 · 2c695e3
1 parent a14f9f3
commit 2c695e3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/crates/nargo_cli/tests/execution_success/slices/src/main.nr b/crates/nargo_cli/tests/execution_success/slices/src/main.nr
@@ -141,7 +141,7 @@ fn merge_slices_mutate(x: Field, y: Field) -> [Field] {
         slice = slice.push_back(x);
     } else {
         slice = slice.push_back(x);
-    };
+    }
     slice
 }
 

diff --git a/crates/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs b/crates/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
@@ -444,10 +444,6 @@ impl<'block> BrilligBlock<'block> {
 
                     self.brillig_context.deallocate_register(radix);
                 }
-                Value::Intrinsic(Intrinsic::AssertConstant) => {
-                    // Do nothing here as Brillig should be able to handle
-                    // runtime values everywhere including loop bounds and array indices
-                }
                 _ => {
                     unreachable!("unsupported function call type {:?}", dfg[*func])
                 }