Struct ProgramResolution 

pub struct ProgramResolution {
    pub file: File,
    pub definitions: Definitions,
    pub diagnostics: Vec<Diagnostic>,
    pub tests: Vec<TestFn>,
    pub imports: Vec<Occurrence>,
}

Output of resolve_program: the merged file, its namespaces, any diagnostics, and the @test functions collected along the way. The merged file’s item_indexes are what Definitions refers to, so downstream stages consume both together.

Fields

file: File

definitions: Definitions

diagnostics: Vec<Diagnostic>

tests: Vec<TestFn>

imports: Vec<Occurrence>

The occurrences of import items, for the language server’s index (spec 3.4a §3.3). Always filled; the driver merges them only when asked.