Function semantic_issues 

pub fn semantic_issues<'db>(
    db: &'db dyn Database,
    ws: Workspace,
    file: SourceFile,
) -> IssuesArc

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

no_eq because IssuesArc has no structural equality — invalidation is driven by the upstream inputs (codebase, parsed_doc).