pub fn write_mir_pretty<'tcx>( tcx: TyCtxt<'tcx>, single: Option<DefId>, w: &mut dyn Write, ) -> Result<()>
Write out a human-readable textual representation for the given MIR, with the default PrettyPrintMirOptions.