Preg_match has different result when $match variable is declared earlier

[integer]

Bug report

Preg_match has different result when $match variable is declared earlier. In code snippet there are 2 functions with same results, but one is reported as error.

Code snippet that reproduces the problem

https://phpstan.org/r/658ff574-8680-4d35-8bb3-26b3143bddab

Expected output

On line 29 is expected Dumped type: array{0: string, 1: non-empty-string, 2?: non-empty-string}

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

Yes! preg_* analysis is killer feature. Thanks!

[staabm]

reduced it further to https://phpstan.org/r/269d2eba-0322-40c7-b9f0-83d7c525fa30

I think its not cause by the preg_* related stuff, but a more general TypeSpecifier problem

[ondrejmirtes]

I think this extension should always overwrite.

[ondrejmirtes]

Fixed: phpstan/phpstan-src@5892e8d

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.