TypeDoesNotContainType caused by implemented interface and extended class mix

[ntzm]

https://psalm.dev/r/a4aded111f

It is perfectly possible for the statement get_class($this) === get_class($other) to return true or false

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a4aded111f

<?php

interface Id
{
    public function is(Id $other): bool;
    
    public function asString(): string;
}

abstract class UuidId
{
 	final public function is(Id $other): bool
    {
        return get_class($this) === get_class($other) && $this->asString() === $other->asString();
    }
    
    final public function asString(): string
    {
        return '';
    }
}

interface EventId extends Id
{
}

final class UuidEventId extends UuidId implements EventId
{   
}

Psalm output (using commit afd8874):

ERROR: TypeDoesNotContainType - 14:16 - class-string<Id> cannot be identical to class-string<UuidId>