Fix ArrayList.removeElements

vigna · Jul 22, 2024 · 4421a0f · 4421a0f
1 parent e67b24f
commit 4421a0f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/drv/ArrayList.drv b/drv/ArrayList.drv
@@ -835,10 +835,11 @@ public class ARRAY_LIST KEY_GENERIC extends ABSTRACT_LIST KEY_GENERIC implements
 		it.unimi.dsi.fastutil.Arrays.ensureFromTo(size, from, to);
 		final KEY_TYPE[] a = this.a;
 		System.arraycopy(a, to, a, from, size - to);
+		final int newSize = size - (to - from);
 #if KEYS_REFERENCE
-		Arrays.fill(a, to, size, null);
+		for (int i = newSize; i < size; i++) a[i] = null;
 #endif
-		this.size -= (to - from);
+		this.size = newSize;
 	}