From 2c695e33df0c002a4c2ed50422e84014e98db2d9 Mon Sep 17 00:00:00 2001 From: vezenovm Date: Wed, 6 Sep 2023 18:15:28 +0000 Subject: [PATCH] remove assert_constant case from brillig_block --- crates/nargo_cli/tests/execution_success/slices/src/main.nr | 2 +- .../noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs | 4 ---- 2 files changed, 1 insertion(+), 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 index 91a5a24dc8f..26cf173a253 100644 --- 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 index c62adf8e7b6..2e31f618e8f 100644 --- 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]) }