pub fn write_mir_graphviz<W>( tcx: TyCtxt<'_>, single: Option<DefId>, w: &mut W, ) -> Result<()>where W: Write,
Write a graphviz DOT graph of a list of MIRs.