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