non-empty-string in str_replace #5323
Description
Feature request
Expecting a non-empty-string beeing returned in https://phpstan.org/r/e676ddd6-7951-49d7-8da3-22dbec67d41b
{{ message }}
Expecting a non-empty-string beeing returned in https://phpstan.org/r/e676ddd6-7951-49d7-8da3-22dbec67d41b