conclude a type in a nested IF

[staabm]

Feature request

I think phpstan should be able to identify in this nested-if scenario the types involved

https://phpstan.org/r/0e3b9f8f-c7af-4cf5-8a9f-2811095bc77f

[staabm]

@herndlm I think this is like the type-specifying stuff you recently worked on... whats your opionion on this snippet?

[herndlm]

Hmm, in general nested ifs are working, but your example is quite complex. Would be great if it can understand that for sure. I did not think it through yet myself, but I can check with the debugger later how the specified types look inbetween

[ondrejmirtes]

This is a case for dependent types I think (see the issue milestone here).

[phpstan-bot]

Closed via merging phpstan/phpstan-src#5386