Function write_allocations

pub fn write_allocations<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'_>,
    w: &mut dyn Write,
) -> Result<()>

Find all AllocIds mentioned (recursively) in the MIR body and print their corresponding allocations.