Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

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

Jump to bottom

Useless ?? not reported #7190

Closed
VincentLanglet opened this issue May 5, 2022 · 2 comments · Fixed by phpstan/phpstan-src#1307
Closed

Useless ?? not reported #7190

VincentLanglet opened this issue May 5, 2022 · 2 comments · Fixed by phpstan/phpstan-src#1307
Labels
feature-request

Comments

@VincentLanglet
Copy link
Contributor

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/215dfa6d-cd14-4622-83de-c19b36bdc63f

Expected output

An error about the useless ??.
I'm surprised because the dump type is int.

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

Everyday :)
@rajyan
Copy link
Contributor

rajyan commented May 9, 2022

This one is related #7000

@rajyan rajyan mentioned this issue May 12, 2022
Merged
@github-actions
Copy link

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.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Jun 13, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
feature-request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix/issue 7000 2 rajyan/phpstan-src
3 participants
@ondrejmirtes @VincentLanglet @rajyan