Bug report

Hello!

It seems like this causes an infinite recursion for some reason:

/** @template TBuilder of Builder = Builder<static> */
trait HasFactory {}

however, this does not:

/** @template TBuilder of Builder = Builder<self> */
trait HasFactory {}

Code snippet that reproduces the problem

https://phpstan.org/r/2f56f76f-e857-4f36-90a1-58455698f367

Expected output

I would not expect there to be any errors

Thanks!

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

No response