Trait in enum with abstract methods

[leander-hass]

Bug report

Hello, I want to extend Enums using a trait. This trait accesses enum-specific methods, like cases(). To prevent linter-errors I have declared these methods as abstract in my trait. As they are defined by PHP in enums, this works without error. But now phpstan complains that the method is not defined.

Code snippet that reproduces the problem

https://phpstan.org/r/ed01077e-f659-4cfb-864d-e8b9efa1f996

Expected output

The error is detected incorrectly.

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

PHPStan really helps me write better code and find bugs. It's such a pleasure to work with it.

[ondrejmirtes]

Fixed phpstan/phpstan-src@c50b71f

[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.