diff --git a/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php b/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php index d6bf60cb279..5bb90ebe62a 100644 --- a/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php +++ b/tests/PHPStan/Analyser/data/non-empty-string-substr-specifying.php @@ -52,6 +52,16 @@ public function nonEmptySubstr(string $s, int $offset, int $length): void } assertType('string', $s); + if (substr($s, 10) == 'hallo') { + assertType('non-empty-string', $s); + } + assertType('string', $s); + + if (substr($s, -10) == 'hallo') { + assertType('non-empty-string', $s); + } + assertType('string', $s); + $x = (substr($s, 10) === 'hallo'); assertType('string', $s); var_dump($x);