refactor: use uninitialized array to avoid initialization

Author: peter-jerry-ye

bytes/bytes.mbt

@@ -69,12 +69,17 @@ pub fn from_array(arr : Array[Byte]) -> Bytes {
 ///     ),
 ///   )
 /// ```
+/// 
+/// Panics if the length is invalid
 pub fn Bytes::from_fixedarray(arr : FixedArray[Byte], len? : Int) -> Bytes {
   let len = match len {
     None => arr.length()
-    Some(x) => x
+    Some(x) => {
+      guard 0 <= x && x <= arr.length()
+      x
+    }
   }
-  let result = FixedArray::make(len, Byte::default())
+  let result = unsafe_to_fixedarray(UninitializedArray::make(len))
   arr.blit_to(result, len~)
   result.unsafe_reinterpret_as_bytes()
 }
@@ -108,15 +113,18 @@ pub fn from_fixedarray(arr : FixedArray[Byte], len? : Int) -> Bytes {
 ///   let arr2 = bytes.to_fixedarray(len=3)
 ///   inspect(arr2, content="[b'\\x68', b'\\x65', b'\\x6C']")
 /// ```
+/// 
+/// Panics if the length is invalid
 pub fn to_fixedarray(self : Bytes, len? : Int) -> FixedArray[Byte] {
   let len = match len {
     None => self.length()
-    Some(x) => x
-  }
-  let arr = FixedArray::make(len, Byte::default())
-  for i in 0..<len {
-    arr[i] = self[i]
+    Some(x) => {
+      guard 0 <= x && x <= self.length()
+      x
+    }
   }
+  let arr = unsafe_to_fixedarray(UninitializedArray::make(len))
+  arr.blit_from_bytes(0, self, 0, len)
   arr
 }
 
@@ -176,7 +184,7 @@ pub fn from_iter(iter : Iter[Byte]) -> Bytes {
 /// TODO: marked as intrinsic, inline if it is constant
 pub fn Bytes::of(arr : FixedArray[Byte]) -> Bytes {
   let len = arr.length()
-  let result = FixedArray::make(len, Byte::default())
+  let result = unsafe_to_fixedarray(UninitializedArray::make(len))
   arr.blit_to(result, len~)
   result.unsafe_reinterpret_as_bytes()
 }
@@ -313,6 +321,9 @@ pub fn default() -> Bytes {
 /// Reinterpret the byte sequence as Bytes.
 fn unsafe_to_bytes(array : FixedArray[Byte]) -> Bytes = "%identity"
 
+///|
+fn unsafe_to_fixedarray(array : UninitializedArray[Byte]) -> FixedArray[Byte] = "%identity"
+
 ///|
 /// Concatenates two bytes sequences.
 ///