Add test

noir-lang · Jul 15, 2024 · bb01143 · bb01143
1 parent b171a80
commit bb01143
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/compiler/noirc_frontend/src/hir/comptime/tests.rs b/compiler/noirc_frontend/src/hir/comptime/tests.rs
@@ -77,6 +77,18 @@ fn mutating_mutable_references() {
     assert_eq!(result, Value::I64(4));
 }
 
+#[test]
+fn mutation_leaks() {
+    let program = "comptime fn main() -> pub i8 {
+        let mut x = 3;
+        let y = &mut x;
+        *y = 5;
+        x
+    }";
+    let result = interpret(program, vec!["main".into()]);
+    assert_eq!(result, Value::I8(5));
+}
+
 #[test]
 fn mutating_arrays() {
     let program = "comptime fn main() -> pub u8 {