Error evaluating substr with `''|numeric-string` type

[ajgarlag]

Bug report

Error evaluating substr with ''|numeric-string type

Code snippet that reproduces the problem

https://phpstan.org/r/66d76c4c-9967-4fc5-8f31-fe3531a8dec9

Expected output

Line 15 from example is marked as unreachable, but you can see in https://3v4l.org/IUeMD that is reached

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

Yes, it has helped us to improved our code.

[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.