immutable/readonly properties incorrectly detected that they are already assigned (using bleeding edge)

[bendavies]

Bug report

Immutable/readonly properties are incorrectly being detected as being already assigned, in the example below.
Note that this ONLY happens using bleeding edge rules.

Code snippet that reproduces the problem

https://phpstan.org/r/e95afd93-d0ba-4dd1-bc3c-18e62bcbe0b6

Expected output

No errors should be reported.

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

very!
https://twitter.com/OndrejMirtes/status/1532769529381675008

[ondrejmirtes]

Duplicate of #6402

Unfortunately I need to wait for some groundwork to be able to fix this scenario in a nice way, outlined here: phpstan/phpstan-src#1330 (comment)

[bendavies]

thankyou!

[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.