Possible records tweak

Brian Goetz brian.goetz at oracle.com
Mon Apr 27 22:37:05 UTC 2020

>> So maybe `super` is DA but `this` is DU, just like in the code
>> before the super-constructor call.  (I’m abusing the terms DA/DU
>> like Brian is, and you call out, but they are close to correct.)
> I think this means I can't call inherited method 'getParentWidget()' or some static utility 'computeWidgetOfParent(this)' method (e.g., 'identityHashCode(this)'). I *can* call 'super.getParentWidget()'.

Except records only inherit from Record, which has no non-inherited 
instance methods.

More information about the amber-spec-experts mailing list