InvalidAttribute for #[\Override] in PHP 8.3

[vudaltsov]

ERROR: InvalidAttribute
at xxx.php:33:7
The class Override doesn't have the Attribute attribute (see https://psalm.dev/242)
    #[\Override]

[psalm-github-bot]

Hey @vudaltsov, can you reproduce the issue on https://psalm.dev ?

[delolmo]

Only way I can reproduce is with the following snippet, but psalm.dev does not recognize Override as a class overall.

https://psalm.dev/r/e9a17b8541

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e9a17b8541

<?php

use Override;

interface Example
{
    public function __invoke(string $name): string;
}

class Child implements Example
{
    #[Override]
    public function __invoke(string $name): string
    {
        return $name;
    }
}

Psalm output (using commit baa6d5d):

INFO: UndefinedAttributeClass - 12:7 - Attribute class Override does not exist

[ciltocruz]

any news?

[delolmo]

I created the PR and it is in a passing state. Should be a matter of time.