chore!: enforce visibility warnings as errors

.github/benchmark_projects.yml

@@ -1,102 +1,102 @@
 define: &AZ_COMMIT 801a120d940fe3b0068eb770d57124d426e0f2b1
 projects:
-  private-kernel-inner:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/private-kernel-inner
-    num_runs: 5
-    compilation-timeout: 3.0
-    execution-timeout: 0.08
-    compilation-memory-limit: 350
-    execution-memory-limit: 250
-  private-kernel-tail:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/private-kernel-tail
-    num_runs: 5
-    timeout: 4
-    compilation-timeout: 3
-    execution-timeout: 0.04
-    compilation-memory-limit: 250
-    execution-memory-limit: 230
-  private-kernel-reset:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/private-kernel-reset
-    num_runs: 5
-    timeout: 250
-    compilation-timeout: 10
-    execution-timeout: 0.35
-    compilation-memory-limit: 750
-    execution-memory-limit: 300
-  rollup-base-private:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-base-private
-    num_runs: 5
-    timeout: 15
-    compilation-timeout: 20
-    execution-timeout: 1
-    compilation-memory-limit: 1600
-    execution-memory-limit: 650
-  rollup-base-public:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-base-public
-    num_runs: 5
-    timeout: 15
-    compilation-timeout: 20
-    execution-timeout: 0.75
-    compilation-memory-limit: 1700
-    execution-memory-limit: 600
-  rollup-block-root-empty:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-empty
-    cannot_execute: true
-    num_runs: 5
-    timeout: 60
-    compilation-timeout: 25
-    compilation-memory-limit: 1500
-  rollup-block-root-single-tx:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-single-tx
-    cannot_execute: true
-    num_runs: 1
-    timeout: 60
-    compilation-timeout: 250
-    compilation-memory-limit: 10000
-  rollup-block-root:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-block-root
-    num_runs: 1
-    timeout: 60
-    compilation-timeout: 250
-    execution-timeout: 40
-    compilation-memory-limit: 10000
-    execution-memory-limit: 1900
-  rollup-merge:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-merge
-    num_runs: 5
-    timeout: 300
-    compilation-timeout: 4
-    execution-timeout: 0.01
-    compilation-memory-limit: 450
-    execution-memory-limit: 450
-  rollup-root:
-    repo: AztecProtocol/aztec-packages
-    ref: *AZ_COMMIT
-    path: noir-projects/noir-protocol-circuits/crates/rollup-root
-    num_runs: 5
-    timeout: 300
-    compilation-timeout: 2
-    execution-timeout: 0.6
-    compilation-memory-limit: 500
-    execution-memory-limit: 450
+  # private-kernel-inner:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/private-kernel-inner
+  #   num_runs: 5
+  #   compilation-timeout: 3.0
+  #   execution-timeout: 0.08
+  #   compilation-memory-limit: 350
+  #   execution-memory-limit: 250
+  # private-kernel-tail:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/private-kernel-tail
+  #   num_runs: 5
+  #   timeout: 4
+  #   compilation-timeout: 3
+  #   execution-timeout: 0.04
+  #   compilation-memory-limit: 250
+  #   execution-memory-limit: 230
+  # private-kernel-reset:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/private-kernel-reset
+  #   num_runs: 5
+  #   timeout: 250
+  #   compilation-timeout: 10
+  #   execution-timeout: 0.35
+  #   compilation-memory-limit: 750
+  #   execution-memory-limit: 300
+  # rollup-base-private:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-base-private
+  #   num_runs: 5
+  #   timeout: 15
+  #   compilation-timeout: 20
+  #   execution-timeout: 1
+  #   compilation-memory-limit: 1600
+  #   execution-memory-limit: 650
+  # rollup-base-public:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-base-public
+  #   num_runs: 5
+  #   timeout: 15
+  #   compilation-timeout: 20
+  #   execution-timeout: 0.75
+  #   compilation-memory-limit: 1700
+  #   execution-memory-limit: 600
+  # rollup-block-root-empty:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-empty
+  #   cannot_execute: true
+  #   num_runs: 5
+  #   timeout: 60
+  #   compilation-timeout: 25
+  #   compilation-memory-limit: 1500
+  # rollup-block-root-single-tx:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-block-root-single-tx
+  #   cannot_execute: true
+  #   num_runs: 1
+  #   timeout: 60
+  #   compilation-timeout: 250
+  #   compilation-memory-limit: 10000
+  # rollup-block-root:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-block-root
+  #   num_runs: 1
+  #   timeout: 60
+  #   compilation-timeout: 250
+  #   execution-timeout: 40
+  #   compilation-memory-limit: 10000
+  #   execution-memory-limit: 1900
+  # rollup-merge:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-merge
+  #   num_runs: 5
+  #   timeout: 300
+  #   compilation-timeout: 4
+  #   execution-timeout: 0.01
+  #   compilation-memory-limit: 450
+  #   execution-memory-limit: 450
+  # rollup-root:
+  #   repo: AztecProtocol/aztec-packages
+  #   ref: *AZ_COMMIT
+  #   path: noir-projects/noir-protocol-circuits/crates/rollup-root
+  #   num_runs: 5
+  #   timeout: 300
+  #   compilation-timeout: 2
+  #   execution-timeout: 0.6
+  #   compilation-memory-limit: 500
+  #   execution-memory-limit: 450
   semaphore-depth-10:
     repo: noir-lang/noir
     path: test_programs/benchmarks/semaphore_depth_10

.github/critical_libraries_status/noir-lang/noir_bigcurve/.failures.jsonl

@@ -1 +0,0 @@
-{"suite":"noir_bigcurve","name":"utils::derive_offset_generators::test_compute_and_print_offset_generators"}

.github/workflows/reports.yml

@@ -365,6 +365,7 @@ jobs:
       - name: Download noir-inspector binary
         uses: ./.github/actions/download-noir-inspector
 
+
       - name: Generate compilation report
         id: compilation_report
         run: |

.github/workflows/test-js-packages.yml

@@ -614,36 +614,36 @@ jobs:
             exit 1
           fi
 
-  compile-noir-contracts:
-    needs: [build-nargo]
-    runs-on: ubuntu-22.04
-    timeout-minutes: 30
-    name: Compile `noir-contracts` zero inliner aggressiveness
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          path: noir-repo
-
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          repository: AztecProtocol/aztec-packages
-          path: test-repo
-
-      - name: Download nargo binary
-        uses: ./noir-repo/.github/actions/download-nargo
-
-      - name: Remove requirements on compiler version
-        working-directory: ./test-repo
-        run: |
-          # Github actions seems to not expand "**" in globs by default.
-          shopt -s globstar
-          sed -i '/^compiler_version/d' ./**/Nargo.toml
-
-      - name: Run nargo compile
-        working-directory: ./test-repo/noir-projects/noir-contracts
-        run: nargo compile --inliner-aggressiveness 0
+  # compile-noir-contracts:
+  #   needs: [build-nargo]
+  #   runs-on: ubuntu-22.04
+  #   timeout-minutes: 30
+  #   name: Compile `noir-contracts` zero inliner aggressiveness
+  #   steps:
+  #     - name: Checkout
+  #       uses: actions/checkout@v4
+  #       with:
+  #         path: noir-repo
+
+  #     - name: Checkout
+  #       uses: actions/checkout@v4
+  #       with:
+  #         repository: AztecProtocol/aztec-packages
+  #         path: test-repo
+
+  #     - name: Download nargo binary
+  #       uses: ./noir-repo/.github/actions/download-nargo
+
+  #     - name: Remove requirements on compiler version
+  #       working-directory: ./test-repo
+  #       run: |
+  #         # Github actions seems to not expand "**" in globs by default.
+  #         shopt -s globstar
+  #         sed -i '/^compiler_version/d' ./**/Nargo.toml
+
+  #     - name: Run nargo compile
+  #       working-directory: ./test-repo/noir-projects/noir-contracts
+  #       run: nargo compile --inliner-aggressiveness 0
 
   upload_critical_library_report:
     name: Upload critical library report
@@ -711,7 +711,7 @@ jobs:
       - test-integration-node
       - test-integration-browser
       - test-examples
-      - compile-noir-contracts
+      # - compile-noir-contracts
 
     steps:
         - name: Report overall success

compiler/noirc_frontend/src/hir/resolution/import.rs

@@ -101,7 +101,7 @@ impl<'a> From<&'a PathResolutionError> for CustomDiagnostic {
                 CustomDiagnostic::simple_error(error.to_string(), String::new(), ident.location())
             }
             // This will be upgraded to an error in future versions
-            PathResolutionError::Private(ident) => CustomDiagnostic::simple_warning(
+            PathResolutionError::Private(ident) => CustomDiagnostic::simple_error(
                 error.to_string(),
                 format!("{ident} is private"),
                 ident.location(),

compiler/noirc_frontend/src/test_utils.rs

@@ -175,7 +175,6 @@ fn emit_compile_test(test_path: &str, src: &str, mut expect: Expect) {
     let error_to_warn_cases = [
         "cast_256_to_u8_size_checks",
         "enums_errors_on_unspecified_unstable_enum",
-        "imports_warns_on_use_of_private_exported_item",
         "metaprogramming_does_not_fail_to_parse_macro_on_parser_warning",
         "resolve_unused_var",
         "struct_array_len",
@@ -185,17 +184,8 @@ fn emit_compile_test(test_path: &str, src: &str, mut expect: Expect) {
         "unused_items_errors_on_unused_trait",
         "unused_items_errors_on_unused_type_alias",
         "unused_items_warns_on_unused_global",
-        "visibility_warns_if_calling_private_struct_method",
         "warns_on_nested_unsafe",
         "warns_on_unneeded_unsafe",
-        // TODO(https://github.com/noir-lang/noir/issues/6932): these will be hard errors
-        "visibility_error_when_accessing_private_struct_field",
-        "visibility_error_when_using_private_struct_field_in_constructor",
-        "visibility_error_when_using_private_struct_field_in_struct_pattern",
-        "visibility_errors_if_accessing_private_struct_member_inside_comptime_context",
-        "visibility_errors_if_accessing_private_struct_member_inside_function_generated_at_comptime",
-        "visibility_errors_if_trying_to_access_public_function_inside_private_module",
-        "visibility_errors_once_on_unused_import_that_is_not_accessible",
         // TODO(https://github.com/noir-lang/noir/issues/7795): these will be hard errors
         "indexing_array_with_non_u32_on_lvalue_produces_a_warning",
         "indexing_array_with_non_u32_produces_a_warning",

compiler/noirc_frontend/src/tests/imports.rs

@@ -48,31 +48,6 @@ fn use_super_in_path() {
     assert_no_errors!(src);
 }
 
-#[named]
-#[test]
-fn warns_on_use_of_private_exported_item() {
-    let src = r#"
-    mod foo {
-        mod bar {
-            pub fn baz() {}
-        }
-
-        use bar::baz;
-
-        pub fn qux() {
-            baz();
-        }
-    }
-
-    fn main() {
-        foo::baz();
-             ^^^ baz is private and not visible from the current module
-             ~~~ baz is private
-    }
-    "#;
-    check_errors!(src);
-}
-
 #[named]
 #[test]
 fn can_use_pub_use_item() {

compiler/noirc_frontend/src/tests/visibility.rs

@@ -260,7 +260,7 @@ fn errors_if_trying_to_access_public_function_inside_private_module() {
 
 #[named]
 #[test]
-fn warns_if_calling_private_struct_method() {
+fn errors_if_calling_private_struct_method() {
     let src = r#"
     mod moo {
         pub struct Foo {}
@@ -561,3 +561,28 @@ fn errors_if_accessing_private_struct_member_inside_function_generated_at_compti
     "#;
     check_errors!(src);
 }
+
+#[named]
+#[test]
+fn errors_on_use_of_private_exported_item() {
+    let src = r#"
+    mod foo {
+        mod bar {
+            pub fn baz() {}
+        }
+
+        use bar::baz;
+
+        pub fn qux() {
+            baz();
+        }
+    }
+
+    fn main() {
+        foo::baz();
+             ^^^ baz is private and not visible from the current module
+             ~~~ baz is private
+    }
+    "#;
+    check_errors!(src);
+}

test_programs/compile_failure/noirc_frontend_tests_visibility_errors_if_accessing_private_struct_member_inside_comptime_context/stderr.txt

@@ -0,0 +1,8 @@
+error: inner is private and not visible from the current module
+   ┌─ src/main.nr:19:25
+   │
+19 │             let _ = foo.inner;
+   │                         ----- inner is private
+   │
+
+Aborting due to 1 previous error