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
There is no error in the example https://phpstan.org/r/ac9812c0-7b04-40c5-81d0-0a9a0d4cede8
But, for php, this is the same code than https://phpstan.org/r/bf76b0bf-ca6b-4ae1-9581-f5366b3fcc0d Which is reported.
Psalm is able to report it https://psalm.dev/r/a5db531a63
I'd like phpstan to be able to detect this too.
Sure, I'm currently solving bug thanks to this tool.
The text was updated successfully, but these errors were encountered:
Successfully merging a pull request may close this issue.
Bug report
Code snippet that reproduces the problem
There is no error in the example
https://phpstan.org/r/ac9812c0-7b04-40c5-81d0-0a9a0d4cede8
But, for php, this is the same code than
https://phpstan.org/r/bf76b0bf-ca6b-4ae1-9581-f5366b3fcc0d
Which is reported.
Psalm is able to report it https://psalm.dev/r/a5db531a63
Expected output
I'd like phpstan to be able to detect this too.
Did PHPStan help you today? Did it make you happy in any way?
Sure, I'm currently solving bug thanks to this tool.
The text was updated successfully, but these errors were encountered: