On Jan 10, 2020, at 9:01 AM, Brian Goetz <brian.go...@oracle.com> wrote: > > A significant reason to have a supertype is not API points, but API specs. > We can refine the spec of equals() if there is an abstract Record type.
Agreed. I suppose these observations about translation strategy provide an independent motivation for using a real record super. But, yes, a bigger value of a super is its factored and discoverable javadoc.
