Skip to main content

alloc_as_global

charon_driver::hax::constant_utils::uneval

Function alloc_as_global 

Source 
fn alloc_as_global<'tcx, S: UnderOwnerState<'tcx>>(
    s: &S,
    alloc_id: AllocId,
) -> Option<ItemRef>
Expand description

The global that an allocation corresponds to, if any.