Backed enums should not behave as if they were values of their backing type

[Guuzen]

https://psalm.dev/r/a843ec35f3

But in reality it is not possible and we will get a runtime error in this case.
https://3v4l.org/ovHD0

[weirdan]

It seems the snippet link is wrong.

[Guuzen]

sorry, updated the link

[weirdan]

https://psalm.dev/r/a843ec35f3

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/a843ec35f3

<?php

enum Foo: string
{
    case A = 'a';
    case B = 'b';
}


Foo::from(Foo::A);

Psalm output (using commit 73ebe22):

No issues!

[weirdan]

It's actually worse than that: https://psalm.dev/r/7b54faf536

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/7b54faf536

<?php

enum Foo: string
{
    case A = 'a';
}

enum Bar: int {
    case A = 1;
}

function f(string|array $_p): void {}
f(Foo::A);

function f2(int $_p): void {}
f2(Bar::A);

Psalm output (using commit 73ebe22):

No issues!

[weirdan]

It looks like it was added intentionally. @boesing can you clarify?

https://github.com/vimeo/psalm/blame/57f6359969d2c2a17237bb8730423f49aa267c2e/src/Psalm/Internal/Type/Comparator/AtomicTypeComparator.php#L638-L670

[boesing]

@weirdan there should be a test in the PR. most probably thats an unwanted side-effect. 🫤

PR was introducing value-of functionality.