laravel/framework — pull request #4998 by bworwa (2014-07-09 14:08:39+00:00)
Title: Update Guard.php

Fix for #4985.

If a user gets deleted from database while he's logged in his session data will remain.

While he won't be able to do anything, since $user = null and check() will deal with it, if a new user is created (with the same id and attributes), he will get logged in automatically.