Reference-default style

John Rose john.r.rose at oracle.com
Sun Feb 9 06:08:45 UTC 2020


On Feb 8, 2020, at 9:08 PM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> Oh, yeah, if we need to make sure that code gets executed (for identity classes), that will affect the design.

That’s the root of the stuff you found perhaps unnecessary.
It could be done the way you propose also, but adding the
ability of the invokespecial to turn into a “pop”, and dealing
with the loss of Object::<init> as a handy point of reference,
makes for a different, less regular set of JVM changes.

I could go either way on having Object::<init> changed to
be abstract, but I think it’s safer to leave it exactly as is,
and then just say “inlines never get there”.

— John


More information about the valhalla-spec-observers mailing list