stable_mir::alloc

Function allocation_filter

Source 
pub(crate) fn allocation_filter<'tcx>(
    alloc: &Allocation,
    alloc_range: AllocRange,
    tables: &mut Tables<'tcx, BridgeTys>,
    cx: &SmirCtxt<'tcx, BridgeTys>,
) -> Allocation
Expand description

Creates an Allocation only from information within the AllocRange.