Function write_mir_sig 

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