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