Merge branch 'master' into gd/noir_schnoor

* master: (62 commits)
  fix(mem2reg): Handle aliases better when setting a known value for a load (#5959)
  feat: Arithmetic Generics (#5950)
  feat: add `FunctionDefinition::module` and `StructDefinition::module` (#5956)
  feat: LSP now suggests self fields and methods (#5955)
  feat: Add `std::meta::typ::fresh_type_variable` (#5948)
  chore: remove override to use rust syntax highlighting (#5881)
  feat: Sync from aztec-packages (#5951)
  fix(frontend): Ban type vars bound to a reference from passing the unconstrained boundary  (#5949)
  feat: add `StructDefinition::add_attribute` and `has_named_attribute` (#5945)
  feat: add `FunctionDef::set_return_visibility` (#5941)
  feat: add `FunctionDefinition::add_attribute` (#5944)
  fix: always place module attribute generated items inside module (#5943)
  feat: Add `Quoted::tokens` (#5942)
  feat(perf): Remove known store values that equal the store address in mem2reg (#5935)
  feat: remove blocks which consist of only a jump to another block (#5889)
  fix: use element_size() instead of computing it with division (#5939)
  feat: Add `StructDefinition::set_fields` (#5931)
  feat: Only check array bounds in brillig if index is unsafe (#5938)
  chore: error on false constraint (#5890)
  feat: warn on unused functions (#5892)
  ...

.aztec-sync-commit

@@ -1 +1 @@
-91042c7bcebfebeb4e629162f44988e2cda1ed41
+05cc59fd28b4d0ee89343106e538c0db0e70f52f

.github/workflows/release.yml

@@ -54,8 +54,8 @@ jobs:
 
       - name: Configure git
         run: |
-          git config user.name kevaundray
-          git config user.email kevtheappdev@gmail.com
+          git config user.name noirwhal
+          git config user.email tomfrench@aztecprotocol.com
 
       - name: Commit updates
         run: |
@@ -100,8 +100,8 @@ jobs:
 
       - name: Configure git
         run: |
-          git config --local user.name 'kevaundray'
-          git config --local user.email 'kevtheappdev@gmail.com'
+          git config --local user.name noirwhal
+          git config --local user.email tomfrench@aztecprotocol.com
 
       - name: Commit new documentation version
         run: |

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

@@ -509,59 +509,6 @@ jobs:
         working-directory: ./examples/codegen_verifier
         run: ./test.sh
 
-  external-repo-checks:
-    needs: [build-nargo]
-    runs-on: ubuntu-22.04
-    timeout-minutes: 30
-    strategy:
-      fail-fast: false
-      matrix:
-        project:
-        #  - { repo: AztecProtocol/aztec-nr, path: ./ }
-        #  - { repo: AztecProtocol/aztec-packages, path: ./noir-projects/noir-contracts }
-         # Disabled as aztec-packages requires a setup-step in order to generate a `Nargo.toml`
-         #- { repo: AztecProtocol/aztec-packages, path: ./noir-projects/noir-protocol-circuits }
-         - { repo: zac-williamson/noir-edwards, path: ./, ref: 0016ce82cd58b6ebb0c43c271725590bcff4e755  }
-        # TODO: Enable these once they're passing against master again.
-        #  - { repo: zac-williamson/noir-bignum, path: ./, ref: 030c2acce1e6b97c44a3bbbf3429ed96f20d72d3  }
-        #  - { repo: vlayer-xyz/monorepo, path: ./, ref: ee46af88c025863872234eb05d890e1e447907cb }
-        #  - { repo: hashcloak/noir-bigint, path: ./, ref: 940ddba3a5201b508e7b37a2ef643551afcf5ed8 }
-
-    name: Check external repo - ${{ matrix.project.repo }}
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-        with:
-          repository: ${{ matrix.project.repo }}
-          path: test-repo
-          ref: ${{ matrix.project.ref }}
-
-      - name: Download nargo binary
-        uses: actions/download-artifact@v4
-        with:
-          name: nargo
-          path: ./nargo
-
-      - name: Set nargo on PATH
-        run: |
-          nargo_binary="${{ github.workspace }}/nargo/nargo"
-          chmod +x $nargo_binary
-          echo "$(dirname $nargo_binary)" >> $GITHUB_PATH
-          export PATH="$PATH:$(dirname $nargo_binary)"
-          nargo -V
-      
-      - 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 check
-        working-directory: ./test-repo/${{ matrix.project.path }}
-        run: nargo check
-
   # This is a job which depends on all test jobs and reports the overall status.
   # This allows us to add/remove test jobs without having to update the required workflows.
   tests-end: