Struct Snapshot 

pub struct Snapshot {
    pub ast: Ast,
    pub interner: Arc<ThreadedRodeo>,
    pub sources: FxHashMap<FileId, WorkspaceFile>,
    pub path_to_file_id: FxHashMap<PathBuf, FileId>,
    pub line_maps: FxHashMap<FileId, LineMap>,
    pub type_pool: Option<Arc<TypeInternPool>>,
    pub expr_types: FxHashMap<Span, Type>,
}

Successful compile snapshot (sema completed even if errors were reported).

The LSP keeps the most recent Snapshot available via ArcSwap so that hover/goto/references can serve queries while a new compile is in flight.

Fields

ast: Ast

interner: Arc<ThreadedRodeo>

Shared interner used to resolve identifiers from the AST.

Phase 1 only walks the AST for hover/goto; the interner is owned here so later phases can re-resolve Spurs without re-parsing.

sources: FxHashMap<FileId, WorkspaceFile>

File contents at the time this snapshot was captured.

path_to_file_id: FxHashMap<PathBuf, FileId>

Source path -> file_id reverse map.

line_maps: FxHashMap<FileId, LineMap>

Line maps for each open file.

type_pool: Option<Arc<TypeInternPool>>

Type intern pool from sema. Owned so format_type_name works for hover queries.

expr_types: FxHashMap<Span, Type>

Phase 4 side-table: span → result type for every AIR instruction produced during sema. Built post-analysis by walking AnalyzedFunction.air so we don’t have to instrument sema.

Trait Implementations

impl Debug for Snapshot

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.