IdentityObject & abstract superclasses

Dan Smith daniel.smith at
Thu Aug 20 23:07:34 UTC 2020

> On Aug 20, 2020, at 4:25 PM, Brian Goetz <brian.goetz at> wrote:
> One degree of freedom that you've omitted, which might help you wiggle out of some of the uncomfortable corners, is warning-now-error-later.  
> Your "I like, but might be disruptive" approach is to error on the cases where it is not super clear.  But by starting with a warning, errors like the ~10 in java.base would have some time to explicitly say `implements IdObject` without it seeming like a world-breaking change.

True. We're stuck waiting for IdentityObject before those warnings can be implemented, so we have to design for a world without any preparatory warnings first, but a few iterations down the road we could dial down inference and dial up error checks.

More information about the valhalla-spec-observers mailing list