Psalm doesn't take into account method in child abstract class

[greg0ire]

I feel Psalm should be able to figure this one out: https://psalm.dev/r/c47f94a631

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/c47f94a631

<?php

abstract class AbstractPlatform
{
}

abstract class PgPlatform extends AbstractPlatform
{
    public function methodParentDoesNotHave(): void
    {
    }
}

abstract class AbstractTestCase
{
    abstract public function createPlatform(): AbstractPlatform;
}

abstract class AbstractPostgresqlTestCase extends AbstractTestCase
{
    abstract public function createPlatform(): PgPlatform;
    
    public function testFoo(): void
    {
        $this->createPlatform()->methodParentDoesNotHave();
    }
}

Psalm output (using commit e1c6fcc):

ERROR: UndefinedMethod - 25:34 - Method AbstractPlatform::methodparentdoesnothave does not exist

[greg0ire]

Thanks!