Function write_smir_pretty 

pub fn write_smir_pretty<'tcx, W: Write>(
    tcx: TyCtxt<'tcx>,
    w: &mut W,
) -> Result<()>