Re: Records and annotations (was: Updated document on data classes and sealed types)

[John Rose]

The benefit of default.something is that it can be composed
with ad hoc code, to add assertions, short-circuits, etc.
An empty body notation means you cannot cooperate
meaningfully with the default mechanism.

On Mar 9, 2019, at 6:08 AM, Brian Goetz <brian.go...@oracle.com> wrote:
> 
> An alternate is to allow the body to be left off entirely:
> 
>      record R(int x, int y) { 
>           @MyAnnotation
>           public boolean equals(Object o);
>      }