Bug report
The same issue is reported twice, one time for /** @immutable */ annotation and one more for readonly keyword.
Code snippet that reproduces the problem
https://phpstan.org/r/38844f63-55f7-43bf-bf2a-71942b8fd221
Expected output
The issue should be reported only once.