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?