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