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