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?