Bug report

phpstan 1.0.1

PHPStan thinks (\XMLReader) $reader->read() becomes forever false after calling $reader->close(), but it's not true.

Code snippet that reproduces the problem

https://phpstan.org/r/a2f98248-04b5-448e-901e-f89a37dc4d1f

Did PHPStan help you today? Did it make you happy in any way?

Thanks for the new shiny major PHPStan update! ❤️
I've fixed a bunch of errors in my project thanks to this update.