Module module_resolve 

Module-aware symbol tables backing HIR name resolution.

This module is the first HIR/resolver-oriented layer after the syntax-first name refactor. It does not rewrite the AST yet. Instead it builds typed symbol tables for loaded DAG/module identities and resolves syntactic NamePath / IdentPath references to canonical ResolvedName values.

The important invariant is that source qualifier text is used only to look up a module alias in the current module scope. The result of a successful lookup carries the canonical DagId owner, not the textual alias.

Structs

ImportedSymbol

A selective import binding for one namespace.

ModuleAliasTarget

A resolved module alias in one module’s import scope.

ModuleDeclSymbol

Value/declaration symbol plus its semantic declaration kind.

ModuleIndexSymbol

Index symbol plus the variants declared by that index.

ModuleResolver

Project-wide module resolver backed by canonical DagId identities.

ModuleScope

Import scope for a single module.

ModuleSymbol

A declaration symbol in one semantic namespace.

ModuleSymbols

Symbols declared by a single DAG/module.

Enums

DeclSymbolKind

Semantic kind of a value/declaration namespace symbol.

ModuleAccess

Visibility rule applied by a module alias or selective import edge.

ModuleResolveError

Errors produced while building or using module-aware symbol tables.

SurfaceNameKind

Surface category for diagnostics that cross namespace boundaries.

SymbolVisibility

Visibility of a symbol across module boundaries.