Immutable class by phpdoc can be modified by e.g. sort #12676
Description
Bug report
- See PHP behaviour: https://3v4l.org/0AAhc
- See PHP behaviour with readonly class: https://3v4l.org/pBRa6
Code snippet that reproduces the problem
https://phpstan.org/r/985ae334-dabf-4d51-82a6-50e9ba7662f1
Expected output
@readonly property A::$a is already assigned. on line 16
Did PHPStan help you today? Did it make you happy in any way?
No response