Bug report

If I declare a variable and set a value of some type to it (let it be int, like in code snippet), change its value (mixed in snippet) in if statement and check the variable to be another type (string in snippet) in the same if statement, I get "If condition is always false".

Code snippet that reproduces the problem

https://phpstan.org/r/884e2c78-c95c-46f8-8a01-0d990cddee0a

Expected output

No errors, like it works when the variable is not declared before if statement