We’ve been round and round on this one in various discussions, and I think our
answer is probably documented somewhere, but here’s a quick summary:
1. We will never endow every value at creation with an object identity. (And
an object identity is that thing which connects side-effecting writers
For 5, the first idea is to forward the call to the constructor to the factory
method, but detecting the new + dup + invokespecial may be hard especially in
the interpreter.
The other solution is to redirect the call to new to create a larval value type
and have the invokespecial call to fill th
