pub fn file_refs<'db>(
db: &'db dyn Database,
ws: Workspace,
file: SourceFile,
) -> FileRefsArcExpand description
Run Pass-2 analysis on file against the workspace codebase and return
every resolved reference with its codebase key and byte span.
The analyzer internally also calls mark_*_referenced_at on the Codebase
Arc from codebase(ws) — we deliberately ignore those mutations here and
build our own aggregation via symbol_refs. This keeps the data flow
purely functional from salsa’s perspective even though the underlying
Codebase uses interior mutability.