False positives with multiple catch blocks

[nocive]

It seems when one has multiple catch blocks psalm raises some false positives, because it thinks one of the catch branches is never used.

I found this problem in our codebase and managed to isolate the problem in the following snippet: https://psalm.dev/r/e03049439d

This bug can lead to NoValue, UnusedVariable and other false positives which I assume derive from the same problem.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e03049439d

<?php

function test(): mixed {
    try {
        match(rand(1, 2)) {
            1 => throw new \InvalidArgumentException(),
        	2 => throw new \Exception(),
        };
    } catch(\InvalidArgumentException) {
        $foo = false;
    } catch (\Exception) {
        $foo = true;
    }
    
    return $foo ? 'foo' : 'bar';
}

test();

Psalm output (using commit fc233da):

ERROR: RedundantCondition - 15:12 - Operand of type true is always truthy

ERROR: TypeDoesNotContainType - 15:27 - Type true for $foo is never falsy

INFO: UnusedVariable - 10:9 - $foo is never referenced or the value is not used

[orklah]

Possibly fixed by #7688