scala-rrb-vector
scala-rrb-vector copied to clipboard
append optimization can produce incorrect results
This code at line 504:
if (1024 < thisVecLen && thatVecLen <= 32) { /* appending a small amount of elements to a large vector */ newVec.appendAll(thisVecLen, thatVec.display0)
fails to account for the possibility that the small vector might have a depth greater than 1, if it is "relaxed".