PHP 8 match() does not infer type in matched branch

[tux-rampage]

When using get_class in a match() statement, the type is not inferred in the branches causing incorrect analysis errors.

https://psalm.dev/r/ce8e6603c5

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/ce8e6603c5

<?php

interface Foo {}

class Bar implements Foo 
{
    public function hello(): string 
    {
        return 'Hello World';
    }
}

function foo(Foo $value): string {
    return match (get_class($value)) {
        Bar::class => $value->hello(),
        default => 'Some Foo',
    };
}

Psalm output (using commit 5a62dc5):

ERROR: UndefinedInterfaceMethod - 15:31 - Method Foo::hello does not exist

INFO: MixedReturnStatement - 14:12 - Could not infer a return type

INFO: MixedInferredReturnType - 13:27 - Could not verify return type 'string' for foo