Trait template TKey getting confusing warning

[M1ke]

Interesting case of using TKey in an interface, trait and concrete class:

https://psalm.dev/r/865db8cdb3

From what I can see here, Psalm shouldn't trip up when the trait is implemented, as if we copy/pasted the code (which is what the trait does) it will pass.

Or am I mistaking some part of how the template is passed into the trait?