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

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