fn alloc_ids_from_alloc(
    alloc: ConstAllocation<'_>
) -> impl DoubleEndedIterator<Item = AllocId> + '_