`abs()` return type ignores specific input ranges

[julienfalque]

Bug report

When the type of the input given to abs() excludes some values, PHPStan doesn't know that those values cannot be returned.

Code snippet that reproduces the problem

https://phpstan.org/r/495b6ded-343d-4852-bf9a-757cc95de438

Expected output

No error.

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

No response

[staabm]

This could be improved by implementing a Dynamic Return Type Extension for the abs function:

https://phpstan.org/developing-extensions/dynamic-return-type-extensions

[julienfalque]

Giving it a try then.

[ondrejmirtes]

Fixed phpstan/phpstan-src#3263

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