False positive impure call from a pure context when using attributes

[dragosprotung]

See https://psalm.dev/r/f65db47829

I am not sure if this would be correct report for other attributes, but the \Override one should not trigger the error.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/f65db47829

<?php

class base {
    /**
     * @psalm-pure
     */
    public function test(): void {}
}


class extending extends base {
     /**
     * @psalm-pure
     */
    #[\Override]
    public function test(): void {}
}

Psalm output (using commit c488d40):

ERROR: ImpureMethodCall - 15:7 - Cannot call an impure constructor from a pure context