Struct flowistry_pdg::rustc::mir::interpret::ConstAllocation

pub struct ConstAllocation<'tcx>(pub Interned<'tcx, Allocation<AllocId, (), Box<[u8], Global>>>);

Interned types generally have an Outer type and an Inner type, where Outer is a newtype around Interned<Inner>, and all the operations are done on Outer, because all occurrences are interned. E.g. Ty is an outer type and TyKind is its inner type.

Here things are different because only const allocations are interned. This means that both the inner type (Allocation) and the outer type (ConstAllocation) are used quite a bit.

Tuple Fields

0: Interned<'tcx, Allocation<AllocId, (), Box<[u8], Global>>>