Records: supertype?

[Brian Goetz]

> It sounds to me like nothing bad whatsoever will come from leaving it out.

We lose out on some future flexibility to add new methods, which might 
amount to nothing, or might be a big deal.

The main thing we gain immediately is that we have a place to hang 
specification, such as the refined specification for `equals()`, or 
general constraints on record-ness, where there is at least some chance 
users will see it.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190611/ed79c430/attachment.html>