A disclaimer or two for Optional

[Brian Goetz]

> I'm just pointing out that this is a serious warning in the javadoc that certainly qualifies for javac integration as well (right?).
> 
No, wrong.  

This is like saying that library code can't have invariants that the compiler cannot enforce.  

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.  


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mail.openjdk.java.net/pipermail/lambda-libs-spec-experts/attachments/20131201/c11be6d7/attachment.html