feat: implement str_as_bytes in the comptime interpreter (noir-lang/noir#5887)

feat: use visibility (noir-lang/noir#5856)
chore: use `new_let` more widely (noir-lang/noir#5882)
feat: Sync from aztec-packages (noir-lang/noir#5883)
feat!: return arrays instead of slices from `to_be_radix` functions (noir-lang/noir#5851)
chore: add a span to track timing of brillig gen (noir-lang/noir#5835)
feat: add `Expr::as_assert_eq` (noir-lang/noir#5880)
feat: LSP diagnostics now have "unnecessary" and "deprecated" tags (noir-lang/noir#5878)
feat: LSP code actions to import or qualify unresolved paths (noir-lang/noir#5876)

Author: AztecBot

.noir-sync-commit

@@ -1 +1 @@
-e349f30b60a473e2068afafb6fae4a4ea50d185b
+45344bfe1148a2f592c2e432744d3fb3d46340cc

noir/noir-repo/compiler/noirc_frontend/src/hir/comptime/interpreter/builtin.rs

@@ -126,6 +126,7 @@ impl<'local, 'context> Interpreter<'local, 'context> {
             "slice_push_back" => slice_push_back(interner, arguments, location),
             "slice_push_front" => slice_push_front(interner, arguments, location),
             "slice_remove" => slice_remove(interner, arguments, location, call_stack),
+            "str_as_bytes" => str_as_bytes(interner, arguments, location),
             "struct_def_as_type" => struct_def_as_type(interner, arguments, location),
             "struct_def_fields" => struct_def_fields(interner, arguments, location),
             "struct_def_generics" => struct_def_generics(interner, arguments, location),
@@ -242,6 +243,32 @@ fn slice_push_back(
     Ok(Value::Slice(values, typ))
 }
 
+fn str_as_bytes(
+    interner: &NodeInterner,
+    arguments: Vec<(Value, Location)>,
+    location: Location,
+) -> IResult<Value> {
+    let (string, string_location) = check_one_argument(arguments, location)?;
+
+    match string {
+        Value::String(string) => {
+            let string_as_bytes = string.as_bytes();
+            let bytes_vector: Vec<Value> = string_as_bytes.iter().cloned().map(Value::U8).collect();
+            let byte_array_type = Type::Array(
+                Box::new(Type::Constant(string_as_bytes.len() as u32)),
+                Box::new(Type::Integer(Signedness::Unsigned, IntegerBitSize::Eight)),
+            );
+            Ok(Value::Array(bytes_vector.into(), byte_array_type))
+        }
+        value => {
+            let type_var = Box::new(interner.next_type_variable());
+            let expected = Type::Array(type_var.clone(), type_var);
+            let actual = value.get_type().into_owned();
+            Err(InterpreterError::TypeMismatch { expected, actual, location: string_location })
+        }
+    }
+}
+
 /// fn as_type(self) -> Type
 fn struct_def_as_type(
     interner: &NodeInterner,

noir/noir-repo/test_programs/compile_success_empty/comptime_str_as_bytes/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "comptime_str_as_bytes"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.24.0"
+
+[dependencies]

noir/noir-repo/test_programs/compile_success_empty/comptime_str_as_bytes/src/main.nr

@@ -0,0 +1,9 @@
+fn main() {
+    comptime
+    {
+        let hello_world_string = "hello world";
+        let hello_world_bytes: [u8; 11] = [0x68, 0x65, 0x6c, 0x6c, 0x6f, 0x20, 0x77, 0x6f, 0x72, 0x6c, 0x64];
+
+        assert_eq(hello_world_string.as_bytes(), hello_world_bytes);
+    }
+}