Feature request

I'm not sure if it's possible, but it would be nice if PHPStan could figure out if strtr would return a non-empty string.

https://phpstan.org/r/1d63fb59-1f94-4ecc-90ca-e417d6def2e5

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

Thanks for all your hard work :)