Module semantic 

semantic_issues salsa query — runs mir_analyzer Pass-2 body analysis on a single file against the finalized workspace codebase. Depends on codebase(ws) and parsed_doc(file), so invalidation happens automatically when the file’s text or any file that contributes to the shared codebase changes.

The query returns raw mir_issues::Issue values. Config-level filtering (DiagnosticsConfig) and LSP conversion (to_lsp_diagnostic) live outside the query — the user toggling a diagnostic category must not invalidate the expensive analysis.

Structs

IssuesArc

Opaque handle to the per-file raw issue list. Arc<[Issue]> so clones are cheap; Update uses Arc::ptr_eq like other *Arc newtypes in this module.

Functions

semantic_issues

Run Pass-2 (body analysis) on a single file against the workspace codebase and return the raw issue list with suppressed entries already dropped.