Unless the server admin takes this specific change and merges it with a month+ old version of the rest of Core, the vast majority of users won't be able to log in anyways, and those that can won't be affected by this. I'm not sure it's necessarily worth adding complexity to the code for a situation that should never happen.