Bug report

implode(string, non-empty-array) is incorrectly has the return type of non-falsy-string

Code snippet that reproduces the problem

https://phpstan.org/r/e75138a4-4760-4ef8-b6a0-14b70299f9e2

Expected output

implode(string, non-empty-array) should have a return of string

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

No response