We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
https://psalm.dev/r/88baf4bedf
The docs say:
Mixed Returns the database number (LONG) phpredis thinks it's pointing to or FALSE if we're not connected
yet Psalm seems to think it is guaranteed to return an integer.
The text was updated successfully, but these errors were encountered:
I found these snippets:
<?php $redis = new Redis; assert(is_integer($redis->getDbNum()));
Psalm output (using commit f458959): ERROR: RedundantCondition - 5:8 - int always contains int
Sorry, something went wrong.
Yeah, it may return false: https://github.com/phpredis/phpredis/blob/a311cc4ec3cecdbaf83ba66985efa82137e37cc0/redis.c#L3368-L3377
false
Redis::getDbNum|getHost can return false (#3673) (#3693)
c42dada
Closed by c42dada
No branches or pull requests
https://psalm.dev/r/88baf4bedf
The docs say:
yet Psalm seems to think it is guaranteed to return an integer.
The text was updated successfully, but these errors were encountered: