Struct flowistry_pdg::rustc::mir::interpret::ConstAlloc

pub struct ConstAlloc<'tcx> {
    pub alloc_id: AllocId,
    pub ty: Ty<'tcx>,
}

Represents the result of const evaluation via the eval_to_allocation query.

Fields

alloc_id: AllocId

The value lives here, at offset 0, and that allocation definitely is an AllocKind::Memory (so you can use AllocMap::unwrap_memory).

ty: Ty<'tcx>