Yeah, that just happened to my colleague SS. For future reference, this is where I found the solution:
Users not showing in user list…
In a nutshell, I had to use “wp-admin/user-edit.php?user_id=###”, searching until I found the missing user (in my case, user 155). Then I was able to edit her role, which had not been assigned, thereby adding her to the user list.