Note that this only changes how we allocate the empty state, and reference countings of `empty` stay the same.

PiperOrigin-RevId: 599526339
Change-Id: I2c6aaf875c144c947e17fe8f69692b1195b55dd7