Generic class with static return type coming from a interface

Hi,

I have defined an interface with the return type static. Afterwards I implemented a generic class that uses the interface. When I call the interface method the type is not correctly resolved. See the example:

https://psalm.dev/r/b59404794e

I fix the error by added a doc comment in the class implementation:

class Collection implements CopyInterface {
  /** @return static */                 # <--- This line solves the problem
  public function copy(): static {
    // No real implementation
    return $this;
  }
}

Is this an intended behavior?

Start with the linked Psalm playground example and compare the generic class implementing the interface with and without the @return static annotation. Trace how Psalm resolves static return types through interface implementations; done means the behavior is either corrected so the return type resolves without the annotation or clearly established as intended.