Add specialized versions of tasty.Util.dble for common array element types

Author: odersky

tasty/src/dotty/tools/tasty/util/Util.scala

@@ -11,4 +11,17 @@ object Util {
     arr1
   }
 
+  /** Specialized version for bytes */
+  def dble(arr: Array[Byte]): Array[Byte] = {
+    val arr1 = new Array[Byte](arr.length * 2)
+    System.arraycopy(arr, 0, arr1, 0, arr.length)
+    arr1
+  }
+
+  /** Specialized version for ints */
+  def dble(arr: Array[Int]): Array[Int] = {
+    val arr1 = new Array[Int](arr.length * 2)
+    System.arraycopy(arr, 0, arr1, 0, arr.length)
+    arr1
+  }
 }