Closed
Description
When we delete in a pessimistic transaction, we first lock the key. However, if our transaction first inserts a value, then deletes it, we do this all in the buffer and our prewrite only sends a 'check not exists' message to TiKV. That leaves the key locked, we should unlock it.