/**
* Deletes the bin/index slot, assigned a new identifier key if needed.
*
* <p>Enter/leave with bin field latched.
*/
private void deleteSlot() {
bin.deleteEntry(index, true /*maybeValidate*/);
if (index == 0 && bin.getNEntries() != 0) {
bin.setIdentifierKey(bin.getKey(0));
}
index -= 1;
}
