Bug report

Similar to #8537, when a property is documented in an interface @property annotation, it's not recognized by classes using this interface. This is not an issue on PHP 8.0 and 8.1.

Code snippet that reproduces the problem

https://phpstan.org/r/75fa6a47-cbc4-4eb3-b5eb-cf4851f6b805

Access to an undefined property SomeInterface::$var.

Expected output

No errors!

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

PHPStan helped me become a better PHP dev :)