This seems to relate to the "dual role" -- a static both represents a constant value and a static bit of memory. It'd be nice if we could distinguish the two -- we could permit "constant values" to be non-freeze, since you wouldn't be able to take their address.