multiple TypeDoesNotContainType errors with match on union of enums

[jacekkarczmarczyk]

https://psalm.dev/r/3906d0c921

Foo1 is 'one', Foo2 is 'one' or 'two', so (Foo1|Foo2)->value definitely can be 'one' or 'two'.

Errors are difference when the argument is nullable.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/3906d0c921

<?php

enum Foo1: string {
    case one = 'one';
}

enum Foo2: string {
    case one = 'one';
    case two = 'two';
}

/**
 * @psalm-pure
 */
function test1 (Foo1|Foo2 $value): int
{
    return match ($value->value) {
        'one' => 1,
        'two' => 2,
    };
}

/**
 * @psalm-pure
 */
function test2 (Foo1|Foo2|null $value): int
{
    return match ($value?->value) {
        'one' => 1,
        'two' => 2,
        null => 0,
    };
}

echo test1(Foo1::one);
echo test2(null);

Psalm output (using commit 7e751c0):

ERROR: TypeDoesNotContainType - 17:12 - Type 'one' for $value->value is always !=string(one)

ERROR: TypeDoesNotContainType - 19:9 - Type never for $value->value is never =string(two)

ERROR: TypeDoesNotContainType - 30:9 - 'two' cannot be identical to null

ERROR: TypeDoesNotContainType - 30:9 - Type null for $__tmp_switch__355 is never =string(two)