Incremented numeric-string should change to int/float

[janedbal]

Bug report

• Type inference in following snippet does not respect PHP's behaviour, see https://3v4l.org/AetFk
• The type of numeric-string after ++ or -- changes to float or int.

Code snippet that reproduces the problem

https://phpstan.org/r/15e99a70-0318-464a-b50e-b157a25bc3f4

Expected output

Dumped type to be int|float

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

No response

[janedbal]

Question is if incrementing also regular string should not result in benevolent(?) union of string|int|float, there is some ongoing deprecation in PHP though.

[ondrejmirtes]

Fixed phpstan/phpstan-src#2797

[janedbal]

Thank you!

[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.