fix: handle slice of array type

compiler/noirc_evaluator/src/ssa/ssa_gen/mod.rs

@@ -216,6 +216,20 @@
                             self.codegen_array_checked(elements, typ[1].clone())?;
                         Tree::Branch(vec![slice_length.into(), slice_contents])
                     }
+                    ast::Type::Array(len, _) => {
+                        // A literal slice can be an array or a slice,
+                        // however we convert the array into a slice because printable types
+                        // do not handle slice array properly.
+                        let slice_type = if let Type::Array(first_type, _) = &typ[0] {
+                            Type::Slice(first_type.clone())
+                        } else {
+                            typ[0].clone()
+                        };
+                        let slice_length = self.builder.length_constant(len as u128);
+
+                        let slice_contents = self.codegen_array_checked(elements, slice_type)?;
+                        Tree::Branch(vec![slice_length.into(), slice_contents])
+                    }
                     _ => unreachable!("ICE: unexpected slice literal type, got {}", array.typ),
                 })
             }
@@ -472,7 +486,7 @@
     ///   br loop_entry(v0)
     /// loop_entry(i: Field):
     ///   v2 = lt i v1
     ///   brif v2, then: loop_body, else: loop_end
     /// loop_body():
     ///   v3 = ... codegen body ...
     ///   v4 = add 1, i
@@ -531,7 +545,7 @@
     /// For example, the expression `if cond { a } else { b }` is codegen'd as:
     ///
     ///   v0 = ... codegen cond ...
     ///   brif v0, then: then_block, else: else_block
     /// then_block():
     ///   v1 = ... codegen a ...
     ///   br end_if(v1)
@@ -544,7 +558,7 @@
     /// As another example, the expression `if cond { a }` is codegen'd as:
     ///
     ///   v0 = ... codegen cond ...
     ///   brif v0, then: then_block, else: end_block
     /// then_block:
     ///   v1 = ... codegen a ...
     ///   br end_if()

compiler/noirc_frontend/src/monomorphization/mod.rs

@@ -1309,7 +1309,7 @@ impl<'interner> Monomorphizer<'interner> {
         let typ = Type::Array(bytes_as_expr.len() as u32, Box::new(int_type));
 
         let arr_literal = ArrayLiteral { typ, contents: bytes_as_expr };
-        Expression::Literal(Literal::Array(arr_literal))
+        Expression::Literal(Literal::Slice(arr_literal))
     }
 
     fn queue_function(

test_programs/execution_success/regression_5245/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "regression_5245"
+version = "0.1.0"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/execution_success/regression_5245/src/main.nr

@@ -0,0 +1,6 @@
+use dep::std::field::modulus_be_bytes;
+
+fn main() -> pub [u8; 32] {
+    let bytes = dep::std::field::modulus_be_bytes();
+    bytes.as_array()
+}