Incorrect XMLReader logic implementation: a reader can be reopened, and ->read() doesn't return false after it

[fluffycondor]

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.

[phpstan-bot]

@fluffycondor After the latest push in 1.8.x, PHPStan now reports different result with your code snippet:

@@ @@
-8: While loop condition is always false.
+No errors

[ondrejmirtes]

/cc @staabm regression test here please :) Thank you.

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.