infer non-empty-string from strpos() !== false #13709
Description
Feature request
this should not error
https://phpstan.org/r/9f485009-add0-4a6e-8188-a18a18f5371f
I think it will be fixable with phpstan/phpstan-src#3881
Did PHPStan help you today? Did it make you happy in any way?
No response