While-true: Specific type is forgotten

[greew]

Bug report

When ensuring that a variable $user is of a specific type, when I break the loop, PHPStan afterwards forgets this type and reverts to the original result from the method call a().

Code snippet that reproduces the problem

https://phpstan.org/r/e75b4a5f-6dad-48f9-9f39-1e427351a002

Expected output

No errors

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

Still one of the best development tools, I've got!!! ❤️

[greew]

It looks a lot like #10245 - maybe the same issue, but can't be sure.