Function rustc_middle::mir::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.