Bug report

phpstan does not know the relation between a variable and another, in certain cases.
In the code snippet, the relation works in hello2 but not in hello

Code snippet that reproduces the problem

https://phpstan.org/r/ff3ed970-82b1-43cb-a427-3851372ded26

Another example where with a relation between $i and $param is not known https://phpstan.org/r/c6bf0d70-3b34-4653-bcb9-726053f24276

Expected output

No error

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

Yes as always