Module semantic_diagnostics 

Functions

duplicate_declaration_diagnostics

Check for duplicate class/function/interface/trait/enum declarations.

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.

semantic_diagnostics_no_rebuild

Backward-compat alias kept for benchmarks. mir 0.22’s session-based API no longer distinguishes “rebuild” vs “no-rebuild”; the session always updates incrementally via ingest_file.