infer non-empty-string from `strpos() !== false`

### Feature request

this should not error
https://phpstan.org/r/9f485009-add0-4a6e-8188-a18a18f5371f

I think it will be fixable with https://github.com/phpstan/phpstan-src/pull/3881

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

_No response_