@@ -124,16 +124,16 @@ object Array {
124
124
* @see `java.util.Arrays#copyOf`
125
125
*/
126
126
def copyOf [A ](original : Array [A ], newLength : Int ): Array [A ] = ((original : @ unchecked) match {
127
- case x : Array [BoxedUnit ] => newUnitArray(newLength).asInstanceOf [Array [A ]]
128
- case x : Array [AnyRef ] => java.util.Arrays .copyOf(x , newLength)
129
- case x : Array [Int ] => java.util.Arrays .copyOf(x , newLength)
130
- case x : Array [Double ] => java.util.Arrays .copyOf(x , newLength)
131
- case x : Array [Long ] => java.util.Arrays .copyOf(x , newLength)
132
- case x : Array [Float ] => java.util.Arrays .copyOf(x , newLength)
133
- case x : Array [Char ] => java.util.Arrays .copyOf(x , newLength)
134
- case x : Array [Byte ] => java.util.Arrays .copyOf(x , newLength)
135
- case x : Array [Short ] => java.util.Arrays .copyOf(x , newLength)
136
- case x : Array [Boolean ] => java.util.Arrays .copyOf(x , newLength)
127
+ case original : Array [BoxedUnit ] => newUnitArray(newLength).asInstanceOf [Array [A ]]
128
+ case original : Array [AnyRef ] => java.util.Arrays .copyOf(original , newLength)
129
+ case original : Array [Int ] => java.util.Arrays .copyOf(original , newLength)
130
+ case original : Array [Double ] => java.util.Arrays .copyOf(original , newLength)
131
+ case original : Array [Long ] => java.util.Arrays .copyOf(original , newLength)
132
+ case original : Array [Float ] => java.util.Arrays .copyOf(original , newLength)
133
+ case original : Array [Char ] => java.util.Arrays .copyOf(original , newLength)
134
+ case original : Array [Byte ] => java.util.Arrays .copyOf(original , newLength)
135
+ case original : Array [Short ] => java.util.Arrays .copyOf(original , newLength)
136
+ case original : Array [Boolean ] => java.util.Arrays .copyOf(original , newLength)
137
137
}).asInstanceOf [Array [A ]]
138
138
139
139
/** Copy one array to another, truncating or padding with default values (if
0 commit comments