Yes, this was the idiom in the 90s, but Escape Analysis has not proven to be powerful enough to optimize away identity.

And looking at all the edge-cases and possible data-races via tearing, declaring something as a value must be an explicit design decision that cannot be inferred by a compiler or optimizer alone.