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/918eba8573
The text was updated successfully, but these errors were encountered:
I found these snippets:
<?php function ret(): int { do { return 1; } while (true); }
Psalm output (using commit 7d95f15): ERROR: InvalidReturnType - 3:17 - Not all code paths of ret end in a return statement, return type int expected
Sorry, something went wrong.
Probably a missing handling of do/while on ScopeAnalyzer:
psalm/src/Psalm/Internal/Analyzer/ScopeAnalyzer.php
Line 267 in 2490230
We have it for while and for but not for other loops
Fix vimeo#8923
2f5d0a4
Merge pull request #8929 from danog/fix_8923
da001c4
Fix #8923
Successfully merging a pull request may close this issue.
https://psalm.dev/r/918eba8573
The text was updated successfully, but these errors were encountered: