Function rustc_middle::mir::pretty::write_mir_intro

pub fn write_mir_intro<'tcx>(
    tcx: TyCtxt<'tcx>,
    body: &Body<'_>,
    w: &mut dyn Write
) -> Result<()>

Write out a human-readable textual representation of the MIR’s fn type and the types of its local variables (both user-defined bindings and compiler temporaries).