Bug report

I'm doing assert on a variable, changing it, then doing assert again. Phpstan still think that the variable have not changed and that the assert is duplicated

Code snippet that reproduces the problem

https://phpstan.org/r/3a8b69b5-722c-4d13-a8ee-e640d7c59a27

Expected output

No error

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

yes !