fix: address compiler warnings coming from stdlib

compiler/noirc_driver/tests/stdlib_warnings.rs

@@ -3,7 +3,6 @@ use std::path::Path;
 use noirc_driver::{file_manager_with_stdlib, prepare_crate, ErrorsAndWarnings};
 use noirc_frontend::hir::{def_map::parse_file, Context};
 
-#[ignore = "Temporarily ignoring the test until the stdlib is updated to use explicit numeric generics"]
 #[test]
 fn stdlib_does_not_produce_constant_warnings() -> Result<(), ErrorsAndWarnings> {
     // We use a minimal source file so that if stdlib produces warnings then we can expect these warnings to _always_

noir_stdlib/src/lib.nr

@@ -51,7 +51,7 @@ pub fn assert_constant<T>(x: T) {}
 
 // Asserts that the given value is both true and known at compile-time
 #[builtin(static_assert)]
-pub fn static_assert<N>(predicate: bool, message: str<N>) {}
+pub fn static_assert<let N: u32>(predicate: bool, message: str<N>) {}
 
 // from_field and as_field are private since they are not valid for every type.
 // `as` should be the default for users to cast between primitive types, and in the future