Feature request

Related to #5323

PHPStan knows str_replace returns non-empty-string when all three arguments are non-empty-string, but it's not true when subject is non-empty-string|array.

https://phpstan.org/r/ebe95b41-e0bf-4a1e-8eb3-3d3e4492555e

Line 13 should be list<non-empty-string>|non-empty-string

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

I appreciate your hard work to improve PHPStan!