Explode returns false - false positive on < PHP 8

[simPod]

Bug report

explode() will return false if delimiter is empty string.

Making sure that the delimiter is not empty does not narrow the return type to array though.

https://phpstan.org/r/c1c8aa4a-cb73-4d9b-93bf-a28b1883cd8d

I would expect no errors on PHP 7.4.

[ondrejmirtes]

There's currently no non-empty-string type in the typesystem, it's still an ordinary string after the condition: https://phpstan.org/r/e9ec2551-a6a0-4b24-ad3a-75c98fe4da6d

I plan to implement it, see #3981 for details.

[simPod]

I was looking for something similar to @psalm-trace. Thanks for \PHPStan\dumpType($string);!

[ondrejmirtes]

Implemented by: phpstan/phpstan-src@6ef5e91

[tectiv3]

Sorry if I am hijacking this issue, but now on PHP 8 another false positive with explode and non-empty-string:
https://phpstan.org/r/742f9409-d0f3-497d-b022-53bb02e5134d

[ondrejmirtes]

@tectiv3 Please create a separate issue, this one is unrelated.

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