Strange DocblockTypeContradiction on value-of<enum> @property condition

[flaviovs]

https://psalm.dev/r/506dc7f7d9

As you can see on line 32, the warning goes away if we invert the testing order.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/506dc7f7d9

<?php

enum Foo: string
{
	case Bar = 'bar';
    case Lee = 'lee';
}

/** @property value-of<Foo> $attr */
class A
{
    public function __set(string $name, mixed $value) {}
    public function __get(string $name): mixed { return null; }

    public function expensiveCalculation(): bool
    {
        return rand(0, 10) > 5;
    }

    public function thisWorks(): bool
    {
        return $this->attr === Foo::Bar->value;
    }

    public function thisFails(): bool
    {
        return $this->attr === Foo::Bar->value && $this->expensiveCalculation();
    }

    public function butThisWorks(): bool
    {
        return $this->expensiveCalculation() && $this->attr === Foo::Bar->value;
    }
}

Psalm output (using commit 16b24bd):

ERROR: DocblockTypeContradiction - 27:16 - Docblock-defined type value-of<Foo> for $this->attr is never =string(bar)