<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><blockquote type="cite"><div><p dir="ltr">I'm just pointing out that this is a serious warning in the javadoc that certainly qualifies for javac integration as well (right?).</p></div></blockquote>No, wrong. <div><br></div><div>This is like saying that library code can't have invariants that the compiler cannot enforce. </div><div><br></div><div>The compiler is not in the business of detecting every possible violation of every possible classes spec. Nor has this disclaimer of what value-based means remotely risen to the level of language feature. </div><div><br></div><div><br></div><div><blockquote type="cite"><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="auto"><blockquote type="cite"><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
</blockquote></div>
</div></blockquote></div></blockquote>
</div></div></blockquote></div><br></div>
</blockquote></div>
</div></blockquote></div></body></html>