Use proper annotations for traits that are intended to implement an interface

[oliverklee]

https://phpstan.org/writing-php-code/phpdocs-basics#enforcing-class-inheritance-for-interfaces-and-traits https://phpstan.org/writing-php-code/phpdocs-basics#enforcing-implementing-an-interface-for-traits

… and stop misusing @mixin for this.