Type exclusion in switch is ignored

[akuzia]

Type checks in switch cases with return statements does not affect predicted type of a variable, but if statements do. In this example switch fills a similar role as if-elseif, but phpstan treats variable type checks and/or return statements inside cases differently:

https://phpstan.org/r/a876b5ee-8b62-405a-ac43-82bbcf9df446

[ondrejmirtes]

Duplicate of #4499, #4413

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.