Readonly class not marking props readonly, fatal error not detected

[dkarlovi]

https://psalm.dev/r/e675241c02

This causes a fatal error with PHP 8.3

https://3v4l.org/bb3Qn#v8.3.8

With @psalm-immutable it works. This also works correctly https://psalm.dev/r/219055d746

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/e675241c02

<?php

readonly class Service
{
    public function __construct(private string $s)
    {}
    
    public function set(string $s): void
    {
        $this->s = $s;
    }
}

$s = new Service('a');
$s->set('b');

Psalm output (using commit 16b24bd):

No issues!

https://psalm.dev/r/219055d746

<?php

class Service
{
    public function __construct(private readonly string $s)
    {}
    
    public function set(string $s): void
    {
        $this->s = $s;
    }
}

$s = new Service('a');
$s->set('b');

Psalm output (using commit 16b24bd):

ERROR: InaccessibleProperty - 10:9 - Service::$s is marked readonly