currently a record can only be an IdentityObject but at some point, we want to 
introduce an inline record ?

Now the question: What the subtyping relation between java.lang.Record and 
InlineObject/IdentityObject ?

An identity record (resp. an inline record) should be a subtype of both 
java.lang.Record and IdentityObject (resp InlineObject).
Given that java.lang.Record has to be an abstract class because you can not 
re-abstract an interface method.
So both IdentityObject and InlineObject are interface and java.lang.Record 
inherits from Object.

Am i right ?
Or do we really care about re-abstracting the methods of j.l.Record ?


Reply via email to