use arraycopy instead of Array.copy in ArrayBuf...

use arraycopy instead of Array.copy in ArrayBuffer's sizeHint. close
#3766, review by extempore.

1 files changed, 2 insertions, 1 deletions

diff --git a/src/library/scala/collection/mutable/ArrayBuffer.scala b/src/library/scala/collection/mutable/ArrayBuffer.scala
index 46e9e80481..216d7d0d38 100644
--- a/src/library/scala/collection/mutable/ArrayBuffer.scala
+++ b/src/library/scala/collection/mutable/ArrayBuffer.scala
@@ -61,7 +61,8 @@ class ArrayBuffer[A](override protected val initialSize: Int)
   override def sizeHint(len: Int) {
     if (len > size && len >= 1) {
       val newarray = new Array[AnyRef](len)
-      Array.copy(array, 0, newarray, 0, size0)
+      // use arraycopy, not Array.copy, see #3766
+      Platform.arraycopy(array, 0, newarray, 0, size0)
       array = newarray
     }
   }