Bug report

When checking if a method or a property exists in an instanced class inside a trait method. Phpstan reports an invalid function.alreadyNarrowedType.

This is wrong because for some methods may be needed in some classes or not needed.

Code snippet that reproduces the problem

https://phpstan.org/r/f7e4cae8-7133-4e5e-9340-40b5c56a5d3f

Expected output

It should not report errors

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

No response