G1 may in very rare circumstances return to compiled code with an uninitialized object in old gen.

Guaranteeing (non-humongous) object allocation is in young gen allows the compilers to elide any kind of G1 barriers always, potentially increasing performance.