Bug report

Parameter type in abstract method in trait analysis error when opt in Bleeding edge

Code snippet that reproduces the problem

https://phpstan.org/r/c5ea4961-0029-4ee3-a363-54264a601397

Expected output

No errors

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

Yes, PHPStan helps me a lot, thank.