diff --git a/test_programs/execution_success/missing_closure_env/Nargo.toml b/test_programs/execution_success/missing_closure_env/Nargo.toml
new file mode 100644
index 00000000000..284e61b1144
--- /dev/null
+++ b/test_programs/execution_success/missing_closure_env/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "missing_closure_env"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.23.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/execution_success/missing_closure_env/Prover.toml b/test_programs/execution_success/missing_closure_env/Prover.toml
new file mode 100644
index 00000000000..2d76abaa89f
--- /dev/null
+++ b/test_programs/execution_success/missing_closure_env/Prover.toml
@@ -0,0 +1 @@
+x = 42
diff --git a/test_programs/execution_success/missing_closure_env/src/main.nr b/test_programs/execution_success/missing_closure_env/src/main.nr
new file mode 100644
index 00000000000..0bc99b0671c
--- /dev/null
+++ b/test_programs/execution_success/missing_closure_env/src/main.nr
@@ -0,0 +1,16 @@
+fn main(x: Field) {
+    let x1 = &mut 42;
+    let set_x1 = |y| { *x1 = y; };
+
+    assert(*x1 == 42);
+    set_x1(44);
+    assert(*x1 == 44);
+    set_x1(*x1);
+    assert(*x1 == 44);
+    assert(x == 42);
+}
+
+#[test]
+fn test_main() {
+    main(42);
+}