Unexpected behaviour when trying to delete a user that is already deleted

I've tried to reproduce this, but I'm not getting the error that was originally reported. In the screencast provided, there is no error visible but I'm not seeing an error in the logs either. It does just fail silently but I don't see why this is a use case to support? Can we close this if there is no error?

Updating title to reflect that there is no error from what I can see. Not sure if I have missed something.

The silent failure accounts for a potential real race condition.

e.g. if two users are trying to delete a user at the same time, and one deletes the user individually, and the other users the bulk actions from admin permissions, and the bulk action runs last, then there is just nothing to do because the user is already deleted.

However it's also not particularly helpful to show a message because e.g. if you want to delete 10 users, and one of them gets deleted between selecting them and submitting the form, and then after the form was submitted, all 10 are deleted (even if one was deleted by someone else), what should be reported? That a user couldn't be deleted because they were already deleted?

Probably we could log something like that, but it doesn't seem useful to show to users- they could think something has gone wrong when it hasn't.

Thanks for confirming, I'll close this then since there was no further comment after it was marked as postponed.