Handle existential shapes in allocator.