MissingOverrideAttribute false positive with traits used by child classes

[pilif]

https://psalm.dev/r/70ba038824

If you do what psalm says you're supposed to do and add the Override attribute to the trait method, you will create invalid code that PHP refuses to run (and psalm also flags as an error).

I think B should be totally free to import its own copy of the Foo trait.