feat: Sync from noir (#8008)

Automated pull of development from the [noir](https://github.com/noir-lang/noir) programming language, a dependency of Aztec. BEGIN_COMMIT_OVERRIDE feat: LSP auto-import completion (noir-lang/noir#5741) fix: Allow comptime code to use break without also being `unconstrained` (noir-lang/noir#5744) feat: add `Expr::as_any_integer` and `Expr::as_member_access` (noir-lang/noir#5742) chore: clarify Field use (noir-lang/noir#5740) feat: add `Expr::as_binary_op` (noir-lang/noir#5734) chore(docs): expanding solidity verifier chain list (noir-lang/noir#5587) chore: apply some new lints across workspace (noir-lang/noir#5736) feat: suggest trait methods in LSP completion (noir-lang/noir#5735) feat: LSP autocomplete constructor fields (noir-lang/noir#5732) feat: add `Expr::as_unary` (noir-lang/noir#5731) chore: count brillig opcodes in nargo info (noir-lang/noir#5189) feat: suggest tuple fields in LSP completion (noir-lang/noir#5730) feat: add `Expr::as_bool` (noir-lang/noir#5729) feat: add `Expr` methods: `as_tuple`, `as_parenthesized`, `as_index`, `as_if` (noir-lang/noir#5726) feat: LSP signature help (noir-lang/noir#5725) chore: split LSP completion.rs into several files (noir-lang/noir#5723) feat: add `TraitImpl::trait_generic_args` and `TraitImpl::methods` (noir-lang/noir#5722) fix: let LSP autocompletion work in more contexts (noir-lang/noir#5719) fix(frontend): Continue type check if we are missing an unsafe block (noir-lang/noir#5720) feat: add `unsafe` blocks for calling unconstrained code from constrained functions (noir-lang/noir#4429) END_COMMIT_OVERRIDE --------- Co-authored-by: ludamad <[email protected]>
AztecProtocol · Aug 21, 2024 · 75695a7 · 75695a7
1 parent 55423e4
commit 75695a7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/aztec/src/state_vars/shared_mutable/shared_mutable.nr b/aztec/src/state_vars/shared_mutable/shared_mutable.nr
@@ -9,7 +9,7 @@ use crate::state_vars::{
     shared_mutable::{scheduled_value_change::ScheduledValueChange, scheduled_delay_change::ScheduledDelayChange}
 };
 use crate::oracle::storage::storage_read;
-use dep::std::unsafe::zeroed;
+use dep::std::mem::zeroed;
 
 mod test;
 

diff --git a/aztec/src/state_vars/shared_mutable/test.nr b/aztec/src/state_vars/shared_mutable/test.nr
@@ -8,7 +8,7 @@ use crate::{
 };
 
 use dep::protocol_types::address::AztecAddress;
-use dep::std::{test::OracleMock, unsafe::zeroed};
+use dep::std::{test::OracleMock, mem::zeroed};
 
 global new_value = 17;
 

diff --git a/aztec/src/utils/mod.nr b/aztec/src/utils/mod.nr
@@ -59,7 +59,7 @@ fn verify_collapse_hints<T, let N: u32>(
         } else {
             // BoundedVec assumes that the unused parts of the storage are zeroed out (e.g. in the Eq impl), so we make
             // sure that this property holds.
-            assert_eq(collapsed.get_unchecked(i), std::unsafe::zeroed(), "Dirty collapsed vec storage");
+            assert_eq(collapsed.get_unchecked(i), std::mem::zeroed(), "Dirty collapsed vec storage");
         }
     }
     // We now know that: