Function check_diagnostics 

fn check_diagnostics(
    res: &DocumentCheckResult,
    src: (&Document, &[Module]),
) -> impl Iterator<Item = STeXDiagnostic>