Feature request

Inspired by #6788

I figured we could do similar things for string functions
https://phpstan.org/r/11508629-cc37-4da8-8e3d-45384a13619b
(All types reported should be non-empty-string)

we should be able to do similar things for implode() and non-empty-array.
Could also work for fnmatch