Function rustc_mir::util::pretty::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.