False positive during list initialization of readonly properties

[hemberger]

Bug report

During list initialization of readonly properties, PHPStan incorrectly reports that we are trying to access the properties before initialization.

Code snippet that reproduces the problem

class Foo {
    private int $x;
    private int $y;
	
    public function __construct() {
        [$this->x, $this->y] = [1, 2];
    }
}

Access to an uninitialized readonly property Foo::$x.
Access to an uninitialized readonly property Foo::$y.

https://phpstan.org/r/285b0af3-5c96-4a5c-9e3f-b6f1c1f35bdd

Expected output

No errors!

Did PHPStan help you today? Did it make you happy in any way?

I am slowly working my way to higher PHPStan levels, and eagerly looking forward to level 9 some day. Thank you so much to everyone who has made PHPStan possible!

[hemberger]

Duplicate of #7119. Sorry for the noise!

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.