fn alloc_ids_from_const_val(
    val: ConstValue<'_>
) -> impl Iterator<Item = AllocId> + '_