Invalid db2_num_rows() return type

[morozov]

Bug description

According to the manual, db2_num_rows() can return false. For reference, this is reflected in JetBrains/phpstorm-stubs#1531.

The linked code snippet dumps the return type of db2_num_rows() as int<0, max>.

Code snippet that reproduces the problem

https://phpstan.org/r/c546c3bc-23f9-4779-9d12-d36be4ff43fa

Expected output

int<0, max>|false

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

No response

[ondrejmirtes]

Please send a PR that updates resources/functionMap.php. Thank you.

[ondrejmirtes]

Fixed: phpstan/phpstan-src#2456

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