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