Child class' properties incorrectly inspected against parent class.

[paulbalandan]

Bug report

Code snippet that reproduces the problem

https://phpstan.org/r/48108e72-9689-4291-b032-96e31da4c2d9

Up until 0.12.50, this code works as PHPStan correctly resolves the properties to the child class. However, this update seems to inspect the property against the parent class.

Expected output

No errors.

[ondrejmirtes]

Before 0.12.50 this case wasn't checked at all. PHPStan cannot see the connection between $specific === 'dog' and the type of $animal. If you slightly rewrite the code it will work: https://phpstan.org/r/28a09073-0d70-4ec5-9019-da4442321c82

[paulbalandan]

Wow. Thanks for the swift action.

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