On Tue, 9 Dec 2025 at 10:26, Nikl Kelbon via Std-Proposals
<std-proposals_at_[hidden]> wrote:
>
> > This is not motivation for changing it, you're still just saying it's possible.
>
> Did you read the code? Or how it may be motivated other than code examples?

You have there a "self-modification" example. Why is being able to do
that important enough to change the invalidation
rules? Is it common? Is it just removing a pitfall?

Does it have downsides? Does it turn off the ability to diagnose
problematic invalidation cases?