PHP 8.2 @mixin UnitEnum annotation in interface has no effect

[halnique]

Bug report

Similar to #8550, the enum documented in an interface @mixin annotation, it’s default property (e.g. $name) not found in class that using this interface.
There were no warnings in PHP 8.1.

In interface, @property annotation has no effect, and it cannot include member variables.
I don't know how to get around this problem.

Code snippet that reproduces the problem

https://phpstan.org/r/121d662f-2b81-4ec3-a873-de6ced3715fe

Expected output

No errors!

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

PHPStan is the best tool to develop in PHP with a good feeling!

[ondrejmirtes]

What about: https://phpstan.org/r/ee64127d-b5e4-4338-bc24-53bbfccbc8f0

[halnique]

Oh, I did not know that the Enum interface was inheritable.
This is the solution.
Thanks!

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.