diff --git a/test_programs/compile_success_no_bug/check_uncostrained_regression/Nargo.toml b/test_programs/compile_success_no_bug/check_uncostrained_regression/Nargo.toml
new file mode 100644
index 00000000000..3c6b5d9688c
--- /dev/null
+++ b/test_programs/compile_success_no_bug/check_uncostrained_regression/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "check_unconstrained_regression"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]
\ No newline at end of file
diff --git a/test_programs/compile_success_no_bug/check_uncostrained_regression/src/main.nr b/test_programs/compile_success_no_bug/check_uncostrained_regression/src/main.nr
new file mode 100644
index 00000000000..e93e068f432
--- /dev/null
+++ b/test_programs/compile_success_no_bug/check_uncostrained_regression/src/main.nr
@@ -0,0 +1,27 @@
+struct Trigger{
+    x: u32,
+    y: Field,
+    z: [Field;3],
+}
+struct ResultType{
+    a: u32,
+    b: Field,
+    c: [Field;3],
+}
+
+unconstrained fn convert(trigger: Trigger) -> ResultType {
+    let result= ResultType { a: trigger.x + 1, b: trigger.y - 1 + trigger.z[2], c: [trigger.z[0], 0, trigger.z[1]] };
+    result
+}
+impl Trigger {
+    fn execute(self) -> ResultType {
+        let result = convert(self);
+        assert(result.a == self.x + 1);
+        assert(result.b == self.y - 1 + self.z[2]);
+        assert(result.c[1] == 0);
+        result
+    }
+}
+fn main(x: Trigger) -> pub ResultType {
+    x.execute()
+}
diff --git a/tooling/nargo_cli/build.rs b/tooling/nargo_cli/build.rs
index 2681f2501cd..f8c088ea1f7 100644
--- a/tooling/nargo_cli/build.rs
+++ b/tooling/nargo_cli/build.rs
@@ -35,6 +35,7 @@ fn main() {
     generate_noir_test_failure_tests(&mut test_file, &test_dir);
     generate_compile_success_empty_tests(&mut test_file, &test_dir);
     generate_compile_success_contract_tests(&mut test_file, &test_dir);
+    generate_compile_success_no_bug_tests(&mut test_file, &test_dir);
     generate_compile_failure_tests(&mut test_file, &test_dir);
 }
 
@@ -315,7 +316,6 @@ fn generate_compile_success_contract_tests(test_file: &mut File, test_data_dir:
             &test_dir,
             r#"
         nargo.arg("compile").arg("--force");
-        
         nargo.assert().success();"#,
         );
 
@@ -332,6 +332,36 @@ fn generate_compile_success_contract_tests(test_file: &mut File, test_data_dir:
     }
 }
 
+/// Generate tests for checking that the contract compiles and there are no "bugs" in stderr
+fn generate_compile_success_no_bug_tests(test_file: &mut File, test_data_dir: &Path) {
+    let test_type = "compile_success_no_bug";
+    let test_cases = read_test_cases(test_data_dir, test_type);
+    for (test_name, test_dir) in test_cases {
+        let test_dir = test_dir.display();
+
+        generate_test_case(
+            test_file,
+            test_type,
+            &test_name,
+            &test_dir,
+            r#"
+        nargo.arg("compile").arg("--force");
+        nargo.assert().success().stderr(predicate::str::contains("bug:").not());"#,
+        );
+
+        generate_test_case(
+            test_file,
+            test_type,
+            &format!("legacy_{test_name}"),
+            &test_dir,
+            r#"
+        nargo.arg("compile").arg("--force").arg("--use-legacy");
+        
+        nargo.assert().success().stderr(predicate::str::contains("bug:").not());"#,
+        );
+    }
+}
+
 fn generate_compile_failure_tests(test_file: &mut File, test_data_dir: &Path) {
     let test_type = "compile_failure";
     let test_cases = read_test_cases(test_data_dir, test_type);