Bug report

I understand that traits are not analyzed in isolation, but could PHPStan somehow not report these errors from a protected method?

Code snippet that reproduces the problem

https://phpstan.org/r/1f5a760d-12d3-4b0e-bfc8-b30a1a87fa0c

Expected output

No errors.

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

We 💚 PHPStan!