feat: Sync from noir (#7743)

Automated pull of development from the
[noir](https://github.com/noir-lang/noir) programming language, a
dependency of Aztec.
BEGIN_COMMIT_OVERRIDE
feat: let LSP work will with code generated by macros
(noir-lang/noir#5665)
chore(docs): Update web app page to use nargo v 0.31
(noir-lang/noir#5652)
feat: add `std::meta::type_of` and `impl Eq for Type`
(noir-lang/noir#5669)
fix: speed up LSP (noir-lang/noir#5650)
feat: don't eagerly error on cast expressions
(noir-lang/noir#5635)
fix: error on unbound generics in structs
(noir-lang/noir#5619)
fix: allow using Self for function calls
(noir-lang/noir#5629)
feat: let filenames in errors be relative to the current dir if possible
(noir-lang/noir#5642)
feat: LSP inlay type hints on lambda parameters
(noir-lang/noir#5639)
feat: Sync from aztec-packages
(noir-lang/noir#5598)
fix!: parse block and if statements independently of expressions in
statements (noir-lang/noir#5634)
chore: test blackbox binary op instructions
(noir-lang/noir#5484)
chore(docs): add Writing Noir doc
(noir-lang/noir#5456)
chore(github): Switch to organization-wide Issue templates
(noir-lang/noir#5622)
chore: Switch `Value::TraitConstraint` to a resolved trait constraint
(noir-lang/noir#5618)
fix: error on incorrect generic count for impl and type alias
(noir-lang/noir#5623)
feat: allow inserting LSP inlay type hints
(noir-lang/noir#5620)
feat: turbofish in struct pattern
(noir-lang/noir#5616)
fix: correct span for prefix operator
(noir-lang/noir#5624)
fix: `NoMatchingImplFound` in comptime code only
(noir-lang/noir#5617)
feat: Remove 'comptime or separate crate' restriction on comptime code
(noir-lang/noir#5609)
chore(docs): Update proving backend related docs
(noir-lang/noir#5601)
feat: turbofish operator in struct constructor
(noir-lang/noir#5607)
feat: add parameter to call_data attribute
(noir-lang/noir#5599)
feat: turbofish operator on path segments
(noir-lang/noir#5603)
fix: Filter comptime globals
(noir-lang/noir#5538)
chore: Display comptime assertion errors, not Debug
(noir-lang/noir#5605)
chore: add array and slice control flow tests
(noir-lang/noir#5558)
fix: let trait calls work in globals
(noir-lang/noir#5602)
feat: Implement format strings in the comptime interpreter
(noir-lang/noir#5596)
feat: Implement `Value::Type` in comptime interpreter
(noir-lang/noir#5593)
chore(docs): nasty linky (noir-lang/noir#5600)
feat(acir_gen): Width aware ACIR gen addition
(noir-lang/noir#5493)
fix: lookup trait constraints methods in composite types
(noir-lang/noir#5595)
fix: allow trailing comma when parsing where clauses
(noir-lang/noir#5594)
fix: let std::unsafe::zeroed() work for slices
(noir-lang/noir#5592)
fix: error on duplicate struct field
(noir-lang/noir#5585)
END_COMMIT_OVERRIDE

---------

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

aztec/src/keys/constants.nr

@@ -12,8 +12,8 @@ global TAGGING_INDEX = 3;
 global NUM_KEY_TYPES = 4;
 
 global sk_generators = [
-    GENERATOR_INDEX__NSK_M,
-    GENERATOR_INDEX__IVSK_M,
-    GENERATOR_INDEX__OVSK_M,
-    GENERATOR_INDEX__TSK_M
+    GENERATOR_INDEX__NSK_M as Field,
+    GENERATOR_INDEX__IVSK_M as Field,
+    GENERATOR_INDEX__OVSK_M as Field,
+    GENERATOR_INDEX__TSK_M as Field
 ];

aztec/src/keys/public_keys.nr

@@ -53,7 +53,7 @@ impl PublicKeys {
                 self.tpk_m.x,
                 self.tpk_m.y,
                 self.tpk_m.is_infinite as Field,
-                GENERATOR_INDEX__PUBLIC_KEYS_HASH
+                GENERATOR_INDEX__PUBLIC_KEYS_HASH as Field
             ]
             )
         }