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

Possibly null object is wrongly enforced as non null. #7980

Closed
vdauchy opened this issue Sep 10, 2022 · 2 comments
Closed

Possibly null object is wrongly enforced as non null. #7980

vdauchy opened this issue Sep 10, 2022 · 2 comments
Labels
bug
Milestone
Easy fixes

Comments

@vdauchy
Copy link

vdauchy commented Sep 10, 2022

Bug report

phpstan v1.8.5

There is a wrong interpretation following a test on is_int($obj?->value) where $obj is now supposed to not be nullable anymore while it still can be.

Code snippet that reproduces the problem

(https://phpstan.org/r/fce84de6-4ec4-441f-b087-77af715fa72c)

Expected output

No error shall be detected.
@vdauchy vdauchy changed the title Possible null object is wrongly enforced as non null. Possibly null object is wrongly enforced as non null. Sep 10, 2022
@ondrejmirtes ondrejmirtes added this to the Easy fixes milestone Sep 21, 2022
@schlndh schlndh mentioned this issue Aug 19, 2023
Merged
@ondrejmirtes
Copy link
Member

Fixed: phpstan/phpstan-src#2577

@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 Sep 20, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
Easy fixes
Development

No branches or pull requests
2 participants
@ondrejmirtes @vdauchy