@property should warn about unknown class/type #10752
Description
Feature request
repro: https://phpstan.org/r/7217d70a-4ef5-4e62-8b04-e701f18f4918
the same way as regular phpdoc above declared property
Did PHPStan help you today? Did it make you happy in any way?
No response