Both the JVM and the CLR do this. This is not a Go technology. In fact, in certain cases the JVM can detect type information and remove the allocation entirely

Both the JVM and the CLR do this. This is not a Go technology. In fact, in certain cases the JVM can detect type information and remove the allocation entirely by hoisting integer fields and the like into registers.