Narrow string on *strlen() with positive-int#3407

ondrejmirtes merged 2 commits intophpstan:1.12.xphpstan/phpstan-src:1.12.xfrom

staabm:b1staabm/phpstan-src:b1Copy head branch name to clipboard