null checks vs. class resolution, and translation strategy for casts

[Brian Goetz]

> 
> How it is better than a new opcode "unbox" with exactly the same semantics ?

For one, an “unbox” opcode assumes that the VM understands the fictitious relationship between the val and ref projections.  But these are language fictions; the VM sees only classes related by extension and sealing.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/valhalla-spec-experts/attachments/20200414/36833a63/attachment.htm>