<div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)"><div dir="auto"><div dir="auto">As a developer of IntelliJ IDEA static analyzer, I can assure you that supporting this case for records (when accessors are not overridden) was a pretty trivial improvement and took like a couple of hours to implement and test it.</div></div></blockquote><div dir="auto"><br></div><div dir="auto">Unfortunately, static analysis is not just something that your tool chain performs, it’s also something that human beings reading code perform, and for human beings I think the cost of double-checking that the accessor was not overridden to do something unexpected is more expensive than it is for IDEA</div></div></div>