Misleading error message when overriding PHPDoc'd parent property with native typed child property

[dktapps]

Bug report

I ran into this problem due to accidental incorrect overriding of a property defined in an extension stub. Therefore, I was briefly very confused why PHPStan was telling me about a PHPDoc comment that obviously did not exist at the location that the error appeared.

Code snippet that reproduces the problem

https://phpstan.org/r/b4007245-9792-4400-add7-804987901752

Expected output

The message should clarify where the @var tag is actually located, because this message is just super confusing right now.

[ondrejmirtes]

I thought about this hard but it's really difficult to fix. It's going to be solved with #4281 anyway.

[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.