InvalidPropertyAssignmentValue when using class, but not when using interfaces in templated array keys

[MisatoTremor]

ERROR: https://psalm.dev/r/1ef3e94a1a
OK: https://psalm.dev/r/dc6a46bdf2

If using an interface for one and a class for the other only the class one fails: https://psalm.dev/r/f7c663771f

Is this some bug or am I missing something here?

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/1ef3e94a1a

<?php

class Foo {}
class Bar {}

/** @psalm-template O of ?(Foo|Bar) */
class Resolved
{
    /**
     * @var Foo|Bar
     * @psalm-var O
     */
    private $entity = null;

    /**
     * @psalm-param array{foo?: O, bar?: O} $qux
     */
    public function __contruct(array $qux)
    {
        if (isset($qux['foo']) && $qux['foo'] instanceof Foo) {
            $this->entity = $qux['foo'];
        }
        if (isset($qux['bar']) && $qux['bar'] instanceof Bar) {
            $this->entity = $qux['bar'];
        }
    }
}

Psalm output (using commit 38f7481):

ERROR: InvalidPropertyAssignmentValue - 21:29 - $this->entity with declared type 'O:Resolved as Bar|Foo|null' cannot be assigned type 'Foo'

ERROR: InvalidPropertyAssignmentValue - 24:29 - $this->entity with declared type 'O:Resolved as Bar|Foo|null' cannot be assigned type 'Bar'

https://psalm.dev/r/dc6a46bdf2

<?php

interface Foo {}
interface Bar {}

/** @psalm-template O of ?(Foo|Bar) */
class Resolved
{
    /**
     * @var Foo|Bar
     * @psalm-var O
     */
    private $entity = null;

    /**
     * @psalm-param array{foo?: O, bar?: O} $qux
     */
    public function __contruct(array $qux)
    {
        if (isset($qux['foo']) && $qux['foo'] instanceof Foo) {
            $this->entity = $qux['foo'];
        }
        if (isset($qux['bar']) && $qux['bar'] instanceof Bar) {
            $this->entity = $qux['bar'];
        }
    }
}

Psalm output (using commit 38f7481):

No issues!

https://psalm.dev/r/f7c663771f

<?php

class Foo {}
interface Bar {}

/** @psalm-template O of ?(Foo|Bar) */
class Resolved
{
    /**
     * @var Foo|Bar
     * @psalm-var O
     */
    private $entity = null;

    /**
     * @psalm-param array{foo?: O, bar?: O} $qux
     */
    public function __contruct(array $qux)
    {
        if (isset($qux['foo']) && $qux['foo'] instanceof Foo) {
            $this->entity = $qux['foo'];
        }
        if (isset($qux['bar']) && $qux['bar'] instanceof Bar) {
            $this->entity = $qux['bar'];
        }
    }
}

Psalm output (using commit 38f7481):

ERROR: InvalidPropertyAssignmentValue - 21:29 - $this->entity with declared type 'O:Resolved as Bar|Foo|null' cannot be assigned type 'Foo'

[muglug]

That's a bug, simplified to https://psalm.dev/r/22d9bce02f

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/22d9bce02f

<?php

class Foo {}
class Bar {}

/** @template FooOrBarOrNull of Foo|Bar|null */
class Resolved
{
    /**
     * @var FooOrBarOrNull
     */
    private $entity = null;

    /**
     * @psalm-param FooOrBarOrNull $qux
     */
    public function __contruct(?object $qux)
    {
        if ($qux instanceof Foo) {
            $this->entity = $qux;
        }
    }
}

Psalm output (using commit 38f7481):

ERROR: InvalidPropertyAssignmentValue - 20:29 - $this->entity with declared type 'FooOrBarOrNull:Resolved as Bar|Foo|null' cannot be assigned type 'Foo'

[MisatoTremor]

Thank you