diff --git a/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs b/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
index f10ff834f6c..c2bc1e32cd6 100644
--- a/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
+++ b/compiler/noirc_evaluator/src/brillig/brillig_gen/brillig_block.rs
@@ -583,6 +583,11 @@ impl<'block> BrilligBlock<'block> {
                         1,
                     );
                 }
+
+                // `Intrinsic::AsWitness` is used to provide hints to acir-gen on optimal expression splitting.
+                // It is then useless in the brillig runtime and so we can ignore it
+                Value::Intrinsic(Intrinsic::AsWitness) => (),
+
                 _ => {
                     unreachable!("unsupported function call type {:?}", dfg[*func])
                 }
diff --git a/test_programs/execution_success/as_witness/Nargo.toml b/test_programs/execution_success/as_witness/Nargo.toml
new file mode 100644
index 00000000000..18f3f99b5b5
--- /dev/null
+++ b/test_programs/execution_success/as_witness/Nargo.toml
@@ -0,0 +1,6 @@
+[package]
+name = "as_witness"
+type = "bin"
+authors = [""]
+
+[dependencies]
diff --git a/test_programs/execution_success/as_witness/Prover.toml b/test_programs/execution_success/as_witness/Prover.toml
new file mode 100644
index 00000000000..cd8a5b5e03c
--- /dev/null
+++ b/test_programs/execution_success/as_witness/Prover.toml
@@ -0,0 +1 @@
+a = 42
\ No newline at end of file
diff --git a/test_programs/execution_success/as_witness/src/main.nr b/test_programs/execution_success/as_witness/src/main.nr
new file mode 100644
index 00000000000..a24f4af7669
--- /dev/null
+++ b/test_programs/execution_success/as_witness/src/main.nr
@@ -0,0 +1,5 @@
+// Simple example of checking where two arrays are different
+fn main(a: Field) -> pub Field {
+    std::as_witness(a);
+    a
+}