> > 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.