Bug report

Starting with version 2.1.23 calls of version_compare get the error

... throws exception ValueError but the PHPDoc contains @throws void if the function has an @throws void comment.

I can't find any documentation about the function throwing errors.

Code snippet that reproduces the problem

https://phpstan.org/r/6f52025a-916d-4d3c-888a-172ff98b5b8e

Expected output

no error.

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

No response