added regression test

test_programs/compile_success_empty/check_uncostrained_regression/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "check_unconstrained_regression"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.31.0"
+
+[dependencies]

test_programs/compile_success_empty/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()
+}

tooling/nargo_cli/build.rs

@@ -34,7 +34,7 @@ fn main() {
     generate_noir_test_success_tests(&mut test_file, &test_dir);
     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_bugs_contract_tests(&mut test_file, &test_dir);
     generate_compile_failure_tests(&mut test_file, &test_dir);
 }
 
@@ -301,7 +301,7 @@ fn generate_compile_success_empty_tests(test_file: &mut File, test_data_dir: &Pa
     }
 }
 
-fn generate_compile_success_contract_tests(test_file: &mut File, test_data_dir: &Path) {
+fn generate_compile_success_no_bugs_contract_tests(test_file: &mut File, test_data_dir: &Path) {
     let test_type = "compile_success_contract";
     let test_cases = read_test_cases(test_data_dir, test_type);
     for (test_name, test_dir) in test_cases {
@@ -326,7 +326,7 @@ fn generate_compile_success_contract_tests(test_file: &mut File, test_data_dir:
             r#"
         nargo.arg("compile").arg("--force").arg("--use-legacy");
         
-        nargo.assert().success();"#,
+        nargo.assert().success().stderr(predicate::str::contains("bug").not());"#,
         );
     }
 }