feat: Sync from noir (#7577)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
fix: allow calling a trait method with paths that don't consist of
exactly two segments (noir-lang/noir#5577)
fix: Run macros within comptime contexts
(noir-lang/noir#5576)
chore: Remove comptime scanning pass
(noir-lang/noir#5569)
fix(frontend): Disallow signed numeric generics
(noir-lang/noir#5572)
chore: disable aztec-packages CI checks
(noir-lang/noir#5566)
feat: LSP inlay parameter hints
(noir-lang/noir#5553)
feat: Add `TraitDefinition::as_trait_constraint()`
(noir-lang/noir#5541)
fix: Fix `uhashmap` test name
(noir-lang/noir#5563)
fix: let unary traits work at comptime
(noir-lang/noir#5507)
feat: Add a compile-time hash map type
(noir-lang/noir#5543)
chore(docs): Docs for turbofish operator
(noir-lang/noir#5555)
fix(frontend): Error for when impl is stricter than trait
(noir-lang/noir#5343)
chore: filter warnings from elaborator in Aztec Macros
(noir-lang/noir#5556)
fix: Don't panic when a macro fails to resolve
(noir-lang/noir#5537)
fix(ssa): More robust array deduplication check
(noir-lang/noir#5547)
fix: Fix occurs check (noir-lang/noir#5535)
fix: type_of for pointer types
(noir-lang/noir#5536)
chore: Release Noir(0.32.0)
(noir-lang/noir#5268)
fix: revert PR #5449 (noir-lang/noir#5548)
fix: never panic in LSP inlay hints
(noir-lang/noir#5534)
feat: LSP document symbol (noir-lang/noir#5532)
feat: add comptime support for `modulus_*` compiler builtins
(noir-lang/noir#5530)
chore: Remove unknown annotation warning
(noir-lang/noir#5531)
feat: Add TraitConstraint type
(noir-lang/noir#5499)
fix: Error on empty function bodies
(noir-lang/noir#5519)
feat: LSP inlay hints for let and global
(noir-lang/noir#5510)
chore: Remove dbg on find_func_with_name
(noir-lang/noir#5526)
chore: Remove the remainder of legacy code
(noir-lang/noir#5525)
chore: Remove `--use-legacy` and resolution code
(noir-lang/noir#5248)
chore: switch to Noir Keccak implementation with variable size support
(noir-lang/noir#5508)
chore: standardize experimental feature disclaimer across documentation
(noir-lang/noir#5367)
END_COMMIT_OVERRIDE

---------

Co-authored-by: sirasistant <[email protected]>
Co-authored-by: Maxim Vezenov <[email protected]>

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

@@ -517,8 +517,8 @@ jobs:
       fail-fast: false
       matrix:
         project:
-         - { repo: AztecProtocol/aztec-nr, path: ./ }
-         - { repo: AztecProtocol/aztec-packages, path: ./noir-projects/noir-contracts }
+        #  - { 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  }

noir/noir-repo/.release-please-manifest.json

@@ -1,4 +1,4 @@
 {
-  ".": "0.31.0",
-  "acvm-repo": "0.47.0"
+  ".": "0.32.0",
+  "acvm-repo": "0.48.0"
 }

noir/noir-repo/Cargo.toml

@@ -42,7 +42,7 @@ resolver = "2"
 
 [workspace.package]
 # x-release-please-start-version
-version = "0.31.0"
+version = "0.32.0"
 # x-release-please-end
 authors = ["The Noir Team <[email protected]>"]
 edition = "2021"
@@ -53,13 +53,13 @@ repository = "https://github.com/noir-lang/noir/"
 [workspace.dependencies]
 
 # ACVM workspace dependencies
-acir_field = { version = "0.47.0", path = "acvm-repo/acir_field", default-features = false }
-acir = { version = "0.47.0", path = "acvm-repo/acir", default-features = false }
-acvm = { version = "0.47.0", path = "acvm-repo/acvm" }
-brillig = { version = "0.47.0", path = "acvm-repo/brillig", default-features = false }
-brillig_vm = { version = "0.47.0", path = "acvm-repo/brillig_vm", default-features = false }
-acvm_blackbox_solver = { version = "0.47.0", path = "acvm-repo/blackbox_solver", default-features = false }
-bn254_blackbox_solver = { version = "0.47.0", path = "acvm-repo/bn254_blackbox_solver", default-features = false }
+acir_field = { version = "0.48.0", path = "acvm-repo/acir_field", default-features = false }
+acir = { version = "0.48.0", path = "acvm-repo/acir", default-features = false }
+acvm = { version = "0.48.0", path = "acvm-repo/acvm" }
+brillig = { version = "0.48.0", path = "acvm-repo/brillig", default-features = false }
+brillig_vm = { version = "0.48.0", path = "acvm-repo/brillig_vm", default-features = false }
+acvm_blackbox_solver = { version = "0.48.0", path = "acvm-repo/blackbox_solver", default-features = false }
+bn254_blackbox_solver = { version = "0.48.0", path = "acvm-repo/bn254_blackbox_solver", default-features = false }
 
 # Noir compiler workspace dependencies
 fm = { path = "compiler/fm" }