Module semantic_diagnostics 

Functions

issues_to_diagnostics

Convert pre-computed raw issues (from db::semantic::semantic_issues) into LSP diagnostics, applying the user’s DiagnosticsConfig filter. Keeping filter + conversion outside the salsa query preserves memoization across config toggles (the user flipping a category must not rerun the analyzer).

semantic_diagnostics

Run semantic checks on doc against the supplied AnalysisSession.