Bug report
I think we should be able to narrow the preg_match() subject parameter to decimal-int-string in this case
Code snippet that reproduces the problem
https://phpstan.org/r/a5844a4d-a0a5-4aa6-82a0-d6acac491f31
Expected output
no type error
Did PHPStan help you today? Did it make you happy in any way?
No response
Bug report
I think we should be able to narrow the preg_match() subject parameter to
decimal-int-stringin this caseCode snippet that reproduces the problem
https://phpstan.org/r/a5844a4d-a0a5-4aa6-82a0-d6acac491f31
Expected output
no type error
Did PHPStan help you today? Did it make you happy in any way?
No response