PHP8.2 - Internal error for @property defined in class interface

[lcharette]

Bug report

On PHP 8.2, when a dynamic property is documented in an interface @property annotation, an Internal Error is thrown. This is not an issue on PHP 8.0 and 8.1.

Could be related to #8496

Code snippet that reproduces the problem

https://phpstan.org/r/df80074b-b8c9-41be-a40d-cc160cb1cbbb

Result in :

Internal error: Property $x was not found in reflection of class SampleInterface.

Expected output

No errors!

Or same output as when @proprety is added to the class directly : https://phpstan.org/r/c3ae63ea-3ea4-4760-a367-98e03caf4ddd

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

[ondrejmirtes]

Fixed: phpstan/phpstan-src@4025209

Thank you!

[github-actions]

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.