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