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.
AllocId