Function ret_error 

pub(crate) fn ret_error<'a>(
    genv: GlobalEnv<'a, '_>,
    span: Span,
    dst_span: Option<ESpan>,
) -> Diag<'a>