Known properties on implicit enum interfaces

[weirdan]

Hm, my bad, looked into wrong stubs. So only this one should not give any error https://psalm.dev/r/461a456ffb?php=8.1 .

Originally posted by @simPod in #6425 (comment)

Also, UnitEnum has $name: https://psalm.dev/r/aa5cf3a7ed?php=8.1

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/461a456ffb

<?php

function value(BackedEnum $e): int|string {
    return $e->value;
}

function name(BackedEnum $e): string {
    return $e->name;
}

Psalm output (using commit 206332b):

ERROR: NoInterfaceProperties - 4:12 - Interfaces cannot have properties

ERROR: NoInterfaceProperties - 8:12 - Interfaces cannot have properties

INFO: MixedReturnStatement - 8:12 - Could not infer a return type

INFO: MixedInferredReturnType - 7:31 - Could not verify return type 'string' for name

https://psalm.dev/r/aa5cf3a7ed

<?php
function f(UnitEnum $e): void {
    echo $e->name;
}

Psalm output (using commit 206332b):

ERROR: NoInterfaceProperties - 3:10 - Interfaces cannot have properties

[weirdan]

Fixed in #7467