@immutable is not inherrited from extending or implemeting

[BackEndTea]

Feature request

Modifying properties on the immutable class does cause an error. But i expected the @immutable prop to be inherrited by its children.

In my example i would've expected the assignment of a property in the B class to also cause an issue. The same should probably be the case for interfaces.

https://phpstan.org/r/bd80b15d-5af1-4d10-8f36-20968ecacd45

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

I'm loving the immutable so far.

[herndlm]

I'll open a PR for this very soon but I just wondered - is it a good idea to basically force @immutable on inheriting classes? E.g. what about somebody extending some vendor class that has the immutable phpdoc, but they actually don't want their newly added props in the child class to be readonly?

[BackEndTea]

Id say there is a baseline of ignore comment for that. The immutable annotation means the class is intended to be immutable.

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