Function write_smir_pretty

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