chore: generate compilation tests from frontend tests

.github/workflows/test-rust-workspace.yml

@@ -39,7 +39,7 @@ jobs:
           tool: nextest@0.9.67
 
       - name: Build and archive tests
-        run: cargo nextest archive --workspace --archive-file nextest-archive.tar.zst
+        run: cargo nextest archive --workspace --features noirc_frontend/nextest --archive-file nextest-archive.tar.zst
 
       - name: Upload archive to workflow
         uses: actions/upload-artifact@v4

compiler/noirc_frontend/Cargo.toml

@@ -35,9 +35,11 @@ fxhash.workspace = true
 
 [dev-dependencies]
 base64.workspace = true
+function_name = "0.3.0"
 proptest.workspace = true
 proptest-derive.workspace = true
 
 [features]
 bn254 = []
 bls12_381 = []
+nextest = []

compiler/noirc_frontend/src/lib.rs

@@ -14,6 +14,10 @@
 // Temporary allows.
 #![allow(clippy::mutable_key_type, clippy::result_large_err)]
 
+#[cfg(test)]
+#[macro_use]
+extern crate function_name;
+
 pub mod ast;
 pub mod debug;
 pub mod elaborator;

compiler/noirc_frontend/src/monomorphization/tests.rs

@@ -1,13 +1,18 @@
 #![cfg(test)]
 use crate::{
+    check_monomorphization_error_using_features,
     elaborator::UnstableFeature,
-    tests::{check_monomorphization_error_using_features, get_program},
+    tests::{Expect, get_program},
 };
 
 use super::{ast::Program, errors::MonomorphizationError, monomorphize};
 
-pub fn get_monomorphized(src: &str) -> Result<Program, MonomorphizationError> {
-    let (_parsed_module, mut context, errors) = get_program(src);
+pub fn get_monomorphized(
+    src: &str,
+    test_path: &str,
+    expect: Expect,
+) -> Result<Program, MonomorphizationError> {
+    let (_parsed_module, mut context, errors) = get_program(src, test_path, expect);
     assert!(
         errors.iter().all(|err| !err.is_error()),
         "Expected monomorphized program to have no errors before monomorphization, but found: {errors:?}"
@@ -20,11 +25,28 @@ pub fn get_monomorphized(src: &str) -> Result<Program, MonomorphizationError> {
     monomorphize(main, &mut context.def_interner, false)
 }
 
-fn check_rewrite(src: &str, expected: &str) {
-    let program = get_monomorphized(src).unwrap();
+fn check_rewrite(src: &str, expected: &str, test_path: &str) {
+    let program = get_monomorphized(src, test_path, Expect::Success).unwrap();
     assert!(format!("{}", program) == expected);
 }
 
+// NOTE: this will fail in CI when called twice within one test: test names must be unique
+#[macro_export]
+macro_rules! get_monomorphized {
+    ($src:expr, $expect:expr) => {
+        $crate::monomorphization::tests::get_monomorphized($src, $crate::function_path!(), $expect)
+    };
+}
+
+// NOTE: this will fail in CI when called twice within one test: test names must be unique
+#[macro_export]
+macro_rules! check_rewrite {
+    ($src:expr, $expected:expr) => {
+        $crate::monomorphization::tests::check_rewrite($src, $expected, $crate::function_path!())
+    };
+}
+
+#[named]
 #[test]
 fn bounded_recursive_type_errors() {
     // We want to eventually allow bounded recursive types like this, but for now they are
@@ -45,9 +67,10 @@ fn bounded_recursive_type_errors() {
         }
         ";
     let features = vec![UnstableFeature::Enums];
-    check_monomorphization_error_using_features(src, &features);
+    check_monomorphization_error_using_features!(src, &features);
 }
 
+#[named]
 #[test]
 fn recursive_type_with_alias_errors() {
     // We want to eventually allow bounded recursive types like this, but for now they are
@@ -80,9 +103,10 @@ fn recursive_type_with_alias_errors() {
         }
         ";
     let features = vec![UnstableFeature::Enums];
-    check_monomorphization_error_using_features(src, &features);
+    check_monomorphization_error_using_features!(src, &features);
 }
 
+#[named]
 #[test]
 fn mutually_recursive_types_error() {
     let src = "
@@ -103,9 +127,10 @@ fn mutually_recursive_types_error() {
         }
         ";
     let features = vec![UnstableFeature::Enums];
-    check_monomorphization_error_using_features(src, &features);
+    check_monomorphization_error_using_features!(src, &features);
 }
 
+#[named]
 #[test]
 fn simple_closure_with_no_captured_variables() {
     let src = r#"
@@ -134,5 +159,5 @@ fn lambda$f1(mut env$l1: (Field)) -> Field {
     env$l1.0
 }
 "#;
-    check_rewrite(src, expected_rewrite);
+    check_rewrite!(src, expected_rewrite);
 }