Struct RustResolver 

pub struct RustResolver;

Symbol resolution over one bounded Rust resolution snapshot.

Every entry point returns a RustTargetResolution, so a report is never separated from the snapshot whose sources and coordinates it describes.

Implementations

impl RustResolver

pub fn resolve_syntactic( snapshot: &RustResolutionSnapshot, ) -> Result<RustTargetResolution, RustResolutionError>

Resolve snapshot from its stored IR alone.

This tier parses nothing a second time, reads no path, and invokes no toolchain. Names it cannot prove become possible candidates or explicit gaps rather than errors.

pub fn resolve_semantic( snapshot: &RustResolutionSnapshot, context: &SemanticContext, ) -> Result<RustTargetResolution, RustResolutionError>

Resolve snapshot through the semantic database context holds.

The database must already describe this exact snapshot: the same root, requested target, unit graph, activation, source set, and source bytes. Every difference is a SemanticContextMismatch refusal taken before a query runs, and there is no fallback to the parse-only tier. What the database does not prove keeps the answer Tier 1 gave it, so this tier changes candidates, gaps, and the report tier alone. A physical source instantiated under multiple snapshot units returns SemanticSharedSourceMismatch before the database is queried.

Trait Implementations

impl Clone for RustResolver

fn clone(&self) -> RustResolver

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for RustResolver

impl Debug for RustResolver

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

Formats the value using the given formatter.

impl Eq for RustResolver

impl PartialEq for RustResolver

fn eq(&self, other: &RustResolver) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RustResolver