@psalm-readonly-allow-private-mutation on promoted property doesn't allow private mutation

[sctice-ifixit]

It looks like the @readonly restriction is picked up, but not the @psalm-allow-private-mutation exception.

https://psalm.dev/r/8c55da797e

Changing the promoted property to a standard class property works as expected.

https://psalm.dev/r/da58a808ef

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/8c55da797e

<?php

class C {
    /** @param int $x */
    public function __construct(
        /** @psalm-readonly-allow-private-mutation */
        public $x
    ) {}
    
    public function f(int $x): void {
        $this->x = $x;
    }
}

$c = new C(10);
$c->f(20);

Psalm output (using commit 997bded):

ERROR: InaccessibleProperty - 11:9 - C::$x is marked readonly

https://psalm.dev/r/da58a808ef

<?php

class C {
    /** @psalm-readonly-allow-private-mutation */
    public int $x;
    
    public function __construct(int $x) {
        $this->x = $x;
    }
    
    public function f(int $x): void {
        $this->x = $x;
    }
}

$c = new C(10);
$c->f(20);
$c->x = 30;

Psalm output (using commit 997bded):

ERROR: InaccessibleProperty - 18:1 - C::$x is marked readonly