I considered this a bug in constant_allocation_size. I've fixed it in master.