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.

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

ReflectionProperty::isInitialized CallMap missing #10398

Closed
niconoe- opened this issue Nov 22, 2023 · 3 comments
Closed

ReflectionProperty::isInitialized CallMap missing #10398

niconoe- opened this issue Nov 22, 2023 · 3 comments

Comments

@niconoe-
Copy link

Since PHP 7.4, ReflectionProperty::isInitialized is defined, but this is not include in your CallMap.

See: https://www.php.net/manual/en/reflectionproperty.isinitialized.php

I'm gonna add it into the CallMaps.

Copy link

Hey @niconoe-, can you reproduce the issue on https://psalm.dev ?

@niconoe-
Copy link
Author

Reproductible on: https://psalm.dev/r/011554131b

Copy link

I found these snippets:

https://psalm.dev/r/011554131b
<?php

$a = (object)[];
static fn(ReflectionProperty $property): bool => $property->isInitialized($a);
Psalm output (using commit 5095f4e):

INFO: MixedReturnStatement - 4:50 - Could not infer a return type

@orklah orklah closed this as completed in ed1ea52 Nov 22, 2023
orklah added a commit that referenced this issue Nov 22, 2023
Fix #10398: add missing methods of ReflectionProperty class in CallMap and CallMap deltas.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant