ArgumentTypeCoercion with multiple conditional expressions in match

[tuqqu]

Should be no error here:

https://psalm.dev/r/e6cd62e225

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e6cd62e225

<?php

interface Foo {}
class X implements Foo {}
class Y implements Foo {}

function accept_x_or_y(X|Y $_): int {
    return 1;
}

function test(Foo $foo): void {
    print match (true) {
        $foo instanceof X,
        $foo instanceof Y => accept_x_or_y($foo),
        default => 2,
	};
}

test(new X);
test(new Y);

Psalm output (using commit 2aaa577):

ERROR: ArgumentTypeCoercion - 14:44 - Argument 1 of accept_x_or_y expects X|Y, but parent type Foo provided