Phpstan thinks string is not empty when running strpos #7166
Description
Bug report
Phpstan says the !== '' is useless but it is not, the string can be empty https://3v4l.org/3EtlO
{{ message }}
Phpstan says the !== '' is useless but it is not, the string can be empty https://3v4l.org/3EtlO