Bug report

I use this pattern where I use trait to include some functionality and to have autocompletion (and of course expected methods) in the trait I use abstract methods.

I then include these trait knowing that the abstract methods are implemented in parent classes.

This gives an errow now in phpstan.

Code snippet that reproduces the problem

https://phpstan.org/r/89a80bed-93d2-41f9-b802-a960216845f1